Processing math: 100%
Reflexive relation
Set
context
X
definiendum
R
∈
R
e
f
l
e
x
i
v
e
R
e
l
(
X
)
context
R
∈
R
e
l
(
X
)
x
\inX
postulate
x
R
x
Discussion
Parents
Subset of
Total relation
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms
