## Library sset1

## Library sset2

- Theory of Sets EII-3 Correspondences
- EII-3-1 Graphs et correspondences
- Additional lemmas
- EII-3-2 Inverse of a correspondence
- EII-3-3 Composition of two correspondences
- EII-3-4 Functions
- EII-3-5 Restrictions and extensions of functions
- EII-3-6 Definition of a function by means of a term
- EII-3-7 Composition of two functions. Inverse function
- EII-3-8 Retractions and sections
- EII-3-9 Functions of two arguments

## Library sset3

- Theory of Sets: EII-4 Union and intersection of a family of sets
- EII-4-1 Definition of the union and intersection of a family of sets
- EII-4-2 Properties of union and intersection
- EII-4-3 Images of a union and an intersection
- EII-4-4 complement of unions and intersections
- EII-4-5 union and intersection of two sets
- EII-4-6 Coverings
- EII-4-7 Partitions
- EII-4-8 Sum of a family of sets

- EII-5 Product of a family of sets

## Library sset4

- Theory of Sets EII-6 Equivalence relations
- EII-6-1 Definition of an equivalence relation
- EII-6-2 Equivalence classes; quotient set
- EII-6-3 Relations compatible with an equivalence relation
- EII-6-4 saturated subsets
- EII-6-5 Mappings compatible with equivalence relations
- EII-6-6 Inverse image of an equivalence relation; induced equivalence relation
- EII-6-7 Quotients of equivalence relations
- EII-6-8 Product of two equivalence relations

## Library sset5

- Theory of Sets EIII-1 Order relations. Ordered sets
- EIII-1-1 Definition of an order relation
- Preorder relations
- Notation and terminology
- Ordered subsets. Product of ordered sets
- Increasing mappings
- Maximal and minimal elements
- Greatest element and least element
- Upper and lower bounds
- Least upper bound and greatest lower bound
- Directed sets
- Lattices
- Totally ordered sets
- Intervals

## Library sset6

## Library sset7

## Library sset8

- Theory of Sets EIII-4 Natural integers. Finite sets
- EIII-3-3 Operations on Cardinals
- EIII-3-4 Properties of the cardinals 0 and 1
- EIII-3-5 Exponentiation of cardinals
- EIII-3-6 Order relation and operations on cardinals
- EIII-4-1 Definition of integers
- EIII-6-1 The set of natural integers
- EIII-4-3 The principle of induction
- EIII-4-4 Finite subsets of ordered sets
- EIII-4-5 Properties of finite character

## Library sset9

## Library sset10

## Library sset10b

## Library sset11

## Library sset12

## Library sset13

## Library sset14

## Library sset15

## Library sset16

## Library ssete1

## Library ssete2

## Library ssete3

## Library ssete4

## Library ssete5

## Library ssete6

## Library ssete7

## Library ssete8

## Library ssete9

This page has been generated by coqdoc