Description: A binary relation involving unordered triples. (Contributed by Scott Fenton, 7-Jun-2016)