Glaze.
S/F/A/C is an abbreviation of “suppose for a contradiction.” Omega is the set of natural numbers. A set is finite if it is equivalent to omega capped at a certain number; that is, if there exists a 1-1 correspondence (bijection) between it and the capped omega. Bijections are functions that are both surjective and injective.
