unequal:        α≠β
dominated:      α/β<β/α
in debt:         α/β−β/α<0
counted as less:  α<β