Reflexive

• Reflexive #Card
  • $x \in Rx$ for all $x \in X$.

Back

$x \in Rx$ for all $x \in X$.

Lean

IsRefl r / Reflexive r := ∀ a, r a a