6 lines
109 B
Plaintext
6 lines
109 B
Plaintext
|
Inductive definition of sets
|
||
|
|
separation property : to prove that some element is not element of
|
||
|
|
this set.
|
||
|
|
|
||
|
|
|