Prove that natural number inequality is a poset, that addition preserves orver, and prove much of the trichotomy law