Definition, synonyms and related words
A rack, scriptstyle Q,, such that scriptstyle ∀a;∈;Q a triangleright a=a or equivalently a triangleleft a=a.