Description: Value of the double transposition for a relation on triples. (Contributed by Mario Carneiro, 16-Sep-2015)