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, Binary relation, distinct elements, distinct images

Click to edit the document details