Functions
Injective | ∀ a, b ∈ X: f(a) = f(b) ⇒ a = b |
Surjective | ∀ b ∈ Y: ∃ a ∈ X: f(a) = b |
Bijective | ∀ b ∈ Y: ∃ !a ∈ X: f(a) = b |
Result
dom(f) =
im(f) =
injective:
surjective:
bijective:
f-1 = {}
dom(f-1) =
im(f-1) =
Injective | ∀ a, b ∈ X: f(a) = f(b) ⇒ a = b |
Surjective | ∀ b ∈ Y: ∃ a ∈ X: f(a) = b |
Bijective | ∀ b ∈ Y: ∃ !a ∈ X: f(a) = b |
dom(f) =
im(f) =
injective:
surjective:
bijective:
f-1 = {}
dom(f-1) =
im(f-1) =