Processing math: 100%

Symmetric relation

Set

context X
definiendum RSymmetricRel(X)
context RRel(X)
x,yX
postulate xRyyRx

Discussion

Parents

Subset of

Binary relation on a set