Processing math: 100%
Symmetric relation
Set
context
X
definiendum
R
∈
S
y
m
m
e
t
r
i
c
R
e
l
(
X
)
context
R
∈
R
e
l
(
X
)
x
,
y
∈
X
postulate
x
R
y
⇔
y
R
x
Discussion
Parents
Subset of
Binary relation on a set