完备有补模格

complete and complemented modular lattice...