More points about the Z reading
The actual notation seems more effective that some others
The Z is intended to be in bite-sized chucks (schema), interspersed with natural language explanations
- cf. M. Jackson in the video next week
ZF (Zermelo-Fraenkel Set Theory), of which the set comprehension operator ? is a part, helps increase clarity