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

Set universe

Context*

Set universe