Transitive Property Definition In Algebra