no, for example many Semigroups are transitive
# arrow-contributors
p
no, for example many Semigroups are transitive