
The quiz on Wednesday will consist of definitions, and will be brief. Your wording on a definition must be precise, and you will be required to give a symbolic form and a verbal interpretation of the symbols. You may be asked to produce examples or verify that something satisfies the requirements of a definition. The ideas you should know include:
f: X > Y
f^{1}: Y > X
f o g
f is onetoone
f is onto
f is a bijection
f = g
id_{X}
f(A)
f^{1}(B)
R is a relation on X
R is reflexive
R is symmetric
R is transitive
º is an equivalence relation on X
[a]
X/»

