Property of Transitive and Symmetric