Class BinaryTransitiveClosure