Semantic search
Characteristicity is not finite-relative-intersection-closed, Lattice-complemented does not satisfy intermediate subgroup condition, Pronormality does not satisfy transfer condition, Pronormality is not centralizer-closed, Pronormality is not commutator-closed, Pronormality is not finite-intersection-closed, Pronormality is not finite-upper join-closed