"3-3 lattice inclusions imply congruence modularity" - читать интересную книгу автора (Freese R.)