Text this: Theory of Sets C.2.