# Proof:≤ and ≥ are related

Proof: (using inverses)
Suppose that . Then there exists an injection . Since is injective, it has a left inverse . Clearly, is a right inverse of so is surjective. Thus (by definition). The converse direction is similar.