review: functions and relations cardinality of infinite sets lexicographic order Cantor's diagonalization technique the set of functions from N to N has a larger cardinality than N.