3.3 Mathematical Notation
3.3.1 Introduction
3.3.2 Predicates
3.3.3 Booleans
3.3.4 Sets
3.3.5 Relations
3.3.6 Arithmetic
3.3.7 Typing
3.3.8 Assignments