A binary operator representing normal subgroups or dominance relations in abstract algebra and order theory.
