Deductions
- -i has quality real-valued function ⇐ (-i is a complex unit), (complex unit has quality real-valued function)
- imaginary unit has quality real-valued function ⇐ (imaginary unit is a complex unit), (complex unit has quality real-valued function)
- complex unit has quality real-valued function ⇐ (complex unit is subclass of complex number), (complex number has quality real-valued function)
- −3 has quality real-valued function ⇐ (−3 is a complex number), (complex number has quality real-valued function)
- 3 has quality real-valued function ⇐ (3 is a complex number), (complex number has quality real-valued function)
- function of a real variable is opposite of real-valued function ⇐ real-valued function is opposite of function of a real variable
- 0 number class has quality real-valued function ⇐ (0 number class is subclass of complex number), (complex number has quality real-valued function)
- negative real number has quality real-valued function ⇐ (negative real number is subclass of complex number), (complex number has quality real-valued function)
- complex number has quality real-valued function ⇐ (absolute value is subclass of real-valued function), (complex number has quality absolute value)
- non-negative real number has quality real-valued function ⇐ (absolute value is subclass of real-valued function), (non-negative real number has quality absolute value)
- nonzero real number has quality real-valued function ⇐ (absolute value is subclass of real-valued function), (nonzero real number has quality absolute value)