FS-0.TXT 1997 July 10 Theorem FS-0 says that the empty set belongs to FUNS. This is proved directly from the definition of FUNS, and does not require any lemmas about FUNS. In particular, we did not need to use the fact that 0 is a function.