Complement
Set
| context | $X,Y\in \mathfrak U$ |
| definiendum | $ x\in X \smallsetminus Y $ |
| postulate | $ x\in X $ |
| postulate | $ x\notin Y $ |
Discussion
Reference
Wikipedia: Complement
Parents
Element of
Context*
| context | $X,Y\in \mathfrak U$ |
| definiendum | $ x\in X \smallsetminus Y $ |
| postulate | $ x\in X $ |
| postulate | $ x\notin Y $ |
Wikipedia: Complement
