Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
inverse_function [2013/06/25 15:47]
nikolaj
inverse_function [2014/03/21 11:11] (current)
Line 1: Line 1:
 ===== Inverse function ===== ===== Inverse function =====
-==== Definition ​==== +==== Set ==== 
-| @#88DDEE: $ f\in X^Y_\text{inj} $ |+| @#55CCEE: context ​    | @#55CCEE: $ f\in X^Y_\text{inj} $ |
  
-| @#55EE55: $ f^{-1} $ |+| @#55EE55: postulate ​  | @#55EE55: $ f^{-1} ​\equiv f^\smile ​$ |
  
-| @#55EE55: $ f^\smile $ | +==== Discussion ​====
- +
-==== Ramifications ​====+
 We have  We have 
  
Line 25: Line 23:
 Mizar files: [[http://​mizar.org/​JFM/​Vol1/​funct_1.html|FUNCT_1]] Mizar files: [[http://​mizar.org/​JFM/​Vol1/​funct_1.html|FUNCT_1]]
  
-==== Context ​==== +==== Parents ​==== 
-Set constructor +=== Context ​===
-=== Parents ​===+
 [[Injective function]], [[Reversed relation]] [[Injective function]], [[Reversed relation]]
Link to graph
Log In
Improvements of the human condition