Comparability, Distributivity and non-commutative φ-rings