Symmetric Property and Transitive Property