▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Map
▾ Antitone map
▾ Antitone function
Standard-antitone real function
<No formulations for this definition yet>
Results
» R5272: Reciprocal real function on on the positive reals is antitone