jan-plaza documents

1.11 Inductive definitions and structural induction
Education 1.11 Inductive definitions and structural induction
2.1 Union, intersection and complement
Education 2.1 Union, intersection and complement
1.12 Von Neumann natural numbers
Education 1.12 Von Neumann natural numbers
2.5 Disjoint, covering and complementary sets
Education 2.5 Disjoint, covering and complementary sets
2.2 Properties of union, intersection and complement
Education 2.2 Properties of union, intersection and complement
2.6 Properties of inclusion
Education 2.6 Properties of inclusion
2.8 Ordered tuples - an overview
Education 2.8 Ordered tuples - an overview
4.2 Domain and range of a binary relation
Education 4.2 Domain and range of a binary relation
4.4 Set operations on relations
Education 4.4 Set operations on relations
3.2 Power sets
Education 3.2 Power sets
4.3 Basic binary relations
Education 4.3 Basic binary relations
3.6 Families ordered by inclusion
Education 3.6 Families ordered by inclusion
3.7 Indexed families of sets
Education 3.7 Indexed families of sets
2.9 Cartesian products
Education 2.9 Cartesian products
2.7 Ordered pairs
Education 2.7 Ordered pairs