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
bijective_function [2014/02/08 18:39]
nikolaj
bijective_function [2014/12/05 11:28]
nikolaj
Line 1: Line 1:
 ===== Bijective function ===== ===== Bijective function =====
 ==== Set ==== ==== Set ====
-| @#88DDEE: $X,Y$ ... set | +| @#55CCEE: context ​    | @#55CCEE: $X,Y$ ... set | 
- +| @#FFBB00: definiendum ​| @#FFBB00: $ f\in \mathrm{Bijective}(X,​Y) $ | 
-| @#FFBB00: $ f\in \mathrm{Bijective}(X,​Y) $ | +| @#AAFFAA: inclusion ​  | @#AAFFAA: $ f\in \mathrm{Injective}(X,​Y) $ | 
- +| @#AAFFAA: inclusion ​  | @#AAFFAA: $ f\in \mathrm{Surjective}(X,​Y) $|
-| @#AAFFAA: $ f\in \mathrm{Injective}(X,​Y) $ | +
-| @#AAFFAA: $ f\in \mathrm{Surjective}(X,​Y) $|+
  
 ==== Discussion ==== ==== Discussion ====
 === Predicates === === Predicates ===
-| @#EEEE55: $X\approx Y\equiv \mathrm{Bijective}(X,​Y)\ne\emptyset$ |+| @#EEEE55: predicate ​  | @#EEEE55: $X\approx Y\equiv \mathrm{Bijective}(X,​Y)\ne\emptyset$ |
 We also write $X$ equinumerous $Y$. We also write $X$ equinumerous $Y$.
-| @#EEEE55: $X\preccurlyeq Y \equiv \exists (X'​\subseteq Y).\ X'​\approx X$ |+| @#EEEE55: predicate ​  | @#EEEE55: $X\preccurlyeq Y \equiv \exists (X'​\subseteq Y).\ X'​\approx X$ |
 We also write $X$ smaller $Y$. We also write $X$ smaller $Y$.
  
-| @#EEEE55: $Y$ ... countably infinite $\equiv \mathbb N\approx Y$ |+| @#EEEE55: predicate ​  | @#EEEE55: $Y$ ... countably infinite $\equiv \mathbb N\approx Y$ |
 ==== Parents ==== ==== Parents ====
-=== Requirements ​===+=== Context ​===
 [[Injective function]], [[Surjective function]] [[Injective function]], [[Surjective function]]
Link to graph
Log In
Improvements of the human condition