Reflexive, symmetric, transitive checks (R reflexive/symmetric/transitive on A: standard ∀/⇒ definitions)
jee-mainjee-advanced
R reflexive/symmetric/transitive on A — standard ∀/⇒ definitions
What each symbol means
| Symbol | What it stands for |
|---|---|
| A | Non-empty set on which R is defined |
| R | Relation ⊆ A×A |
When to use this
R is a subset of A×A; properties quantified over all relevant a,b,c ∈ A.