Assertion: identity | /r/HasProperty | symmetric
Facets:
value: y)[(x = y)
type: OTHER
Source sentences:
text: (Note that congruence and reflexivity entail that identity is symmetric, “∀(x, y)[(x = y) → (y = x)], and transitive, “∀(x, y, z)[((x = y) & (y = z)) →