This is an old revision of the document!
Complement
Set
| context | $X,Y$ |
| definiendum | $ x\in X \smallsetminus Y $ |
| postulate | $ x\in X $ |
| postulate | $ x\notin Y $ |
Discussion
Reference
Wikipedia: Complement
Parents
Element of
Requirements
This is an old revision of the document!
| context | $X,Y$ |
| definiendum | $ x\in X \smallsetminus Y $ |
| postulate | $ x\in X $ |
| postulate | $ x\notin Y $ |
Wikipedia: Complement
