Dyadic monoid