Monoid0 as Relation