G ≥ H unlesss H ≥ GR or HL ≥ G for some GR ∈ GR or some HL ∈ HL. ¶ (Analogous to “iff”, the term “unlesss” means “unless and only unless”.).