Processing math: 100%
Complement
Set
context
X
,
Y
∈
U
definiendum
x
∈
X
∖
Y
postulate
x
∈
X
postulate
x
∉
Y
Discussion
Reference
Wikipedia:
Complement
Parents
Element of
Set universe
Context*
Set universe