The domination monoid in o-minimal theories - Rosario Mennuni (2020)