correct use of "3-tuple"?
(here I use "A" for the universal quantifier, "E" for the existential quantifier, and "e" to indicate elementhood)
My present definition for Transitivity of a relation:
R is a transitive relation on the set B
AxeB AyeB AzeB [((x,y)eR & (y,z)eR)-->(x,z)eR]...