public void Test_is_transitive_false() { var binaryRelation = new Set<Tuple<int, int>> { new Tuple<int, int>(1, 2), new Tuple<int, int>(2, 3), new Tuple<int, int>(1, 3) }; binaryRelation.IsTransitive().ShouldBeTrue(); binaryRelation.IsEquivalenceRelation().ShouldBeFalse(); }