equal
deleted
inserted
replaced
7 -- Composition of relations, the identity relation |
7 -- Composition of relations, the identity relation |
8 -- Injections, surjections, bijections |
8 -- Injections, surjections, bijections |
9 -- Lemmas for the Schroeder-Bernstein Theorem |
9 -- Lemmas for the Schroeder-Bernstein Theorem |
10 *) |
10 *) |
11 |
11 |
12 Perm = upair + mono + func + |
12 Perm = mono + func + |
13 consts |
13 consts |
14 O :: [i,i]=>i (infixr 60) |
14 O :: [i,i]=>i (infixr 60) |
15 |
15 |
16 defs |
16 defs |
17 (*composition of relations and functions; NOT Suppes's relative product*) |
17 (*composition of relations and functions; NOT Suppes's relative product*) |