6.042J Study Guide - Midterm Guide: Nth Metal, Identity Function, Recursive Data Type

304 views10 pages

Document Summary

R is an injection is a surjection r is a function is an injection; |r x | we can therefore conclude that |x| is a bijection then |a| |a| because every element in a points to an element in b and no element is pointed be a set of injective and surjective mn 1 map a x b jm k we is a surjection then |a| |b| since every element in b is touched. A b is a total function meaning it is both total and a function x is of the form where k is the remainder and j is the. Assume must be pointed to so | a | not be a total injection | a | to more than once. |r x | images than there are arrows so. A x b to the set of all pairs of mn defining a mapping.