Key facts
- Type
- Binary relation
- Field
- Elementary algebra
- Symbolic statement
- ∀ a , b , c ∈ X : ( a R b ∧ b R c ) ⇒ a R c {\displaystyle \forall a,b,c\in X:(aRb\wedge bRc)\Rightarrow aRc}
via Wikipedia infobox
via Wikipedia infobox
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).