Deductions
- non-negative integer is for example −2 ⇐ (−2 is a non-negative integer), (is a is inverse of is for example)
- integer is for example −2 ⇐ (−2 is a integer), (is a is inverse of is for example)
- −2 is a integer ⇐ (non-negative integer is subclass of integer), (−2 is a non-negative integer)
- −2 is a non-negative integer ⇐ (prime number is subclass of non-negative integer), (−2 is a prime number)
- square-free integer is for example −2 ⇐ (−2 is a square-free integer), (is a is inverse of is for example)
- prime number is for example −2 ⇐ (−2 is a prime number), (is a is inverse of is for example)
- irreducible fraction is for example −2 ⇐ (−2 is a irreducible fraction), (is a is inverse of is for example)
- even number is for example −2 ⇐ (−2 is a even number), (is a is inverse of is for example)
- −2 is a square-free integer ⇐ (prime number is subclass of square-free integer), (−2 is a prime number)
- −2 is a irreducible fraction ⇐ (2 is a irreducible fraction), (2 is opposite of −2)
- −2 is a prime number ⇐ (2 is a prime number), (2 is opposite of −2)