[( 0 ⋅ (−1 ÷ 0) = 0 ⋅ (−0⁻) = −1 ) ∧ ( 0 ⋅ (1 ÷ 0) = 0 ⋅ (−0⁺) = 1 ) ∧ ( −1 < 1 )] ⇒ ( 0 ⋅ (−0⁻) < 0 ⋅ (−0⁺) ) ⇒ ( −0⁻ < −0⁺ )
[( (0 ⋅ (−1)) ÷ 0 = 0⁻ ÷ 0 = −1 ) ∧ ( (0 ⋅ 1) ÷ 0 = 0⁺ ÷ 0 = 1 ) ∧ ( −1 < 1 )] ⇒ ( 0⁻ ÷ 0 < 0⁺ ÷ 0 ) ⇒ ( 0⁻ < 0⁺ )
Direction of approach can be used to determine what might otherwise be indeterminate.