Table of Contents - 20.44.2.1. Basic Properties of Set Recursion
Symbols in this section:
All the symbols used in the definition of are explained in
the comment of df-setrecs. The class is explained in the comment of
setrec1lem1. Glossaries of symbols used in individual proofs, or used
differently in different proofs, are in the comments of those proofs.