Chapter 4 Mathematical Data Types114
Problem 4.36.
LetRWA!Bbe a binary relation. Use an arrow counting argument to prove the
following generalization of the Mapping Rule 1.
Lemma.IfRis a function, andXA, then
jXjjR.X/j:
avery
(avery)
#1
Chapter 4 Mathematical Data Types114
Problem 4.36.
LetRWA!Bbe a binary relation. Use an arrow counting argument to prove the
following generalization of the Mapping Rule 1.
Lemma.IfRis a function, andXA, then
jXjjR.X/j: