(i) | $f$ is an D976: Invertible map |
(ii) | $f^{-1}$ is an D216: Inverse map of $f$ |
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Binary cartesian set product |
▼ | Binary relation |
▼ | Inverse binary relation |
▼ | Inverse map |
(i) | $f$ is an D976: Invertible map |
(ii) | $f^{-1}$ is an D216: Inverse map of $f$ |
▶ | R2950: Complex conjugation operation is an involution |