Librarium
Settings

If the Relation R is Symmetric and Anti-Symmetric then R is also Transitive