added interface for reflexive and transitive relations