This preview shows page 1. Sign up to view the full content.
Unformatted text preview: (20) function a relation such that every element a in A is the first coordinate of exactly one ordered pair in f (21) image f(a) = b, b is the image/map of a (22) mapping (23) equality of functions (24) onetoone every two distinct elements of A have distinct images in B (25) injective every two distinct elements of A have distinct images in B (26) onto  if every element of the codomain B is the image of some element of A (27) surjective if every element of the codomain B is the image of some element of A (28) bijective function that is both injective and subjective (29) identity function a function that maps an element to itself (30) composition function defined by g o f (a) = g(f(a)) (31) associative  (32) inverse relation R^1 = {(b,a): (a,b) e R} (33) permutation bijective function on A...
View
Full
Document
 Spring '11
 Smith
 Mathematical Induction, Sets

Click to edit the document details