A binary relation symbol representing normal subgroups or normal sublattices in abstract algebra and order theory.
