Bijective function
Set
| context | X,Y … set |
| definiendum | f∈Bijective(X,Y) |
| inclusion | f∈Injective(X,Y) |
| inclusion | f∈Surjective(X,Y) |
Discussion
Predicates
| predicate | X≈Y≡Bijective(X,Y)≠∅ |
We also write X equinumerous Y.
| predicate | X≼ |
We also write X smaller Y.
| predicate | Y … countably infinite \equiv \mathbb N\approx Y |
Parents
Context
