El conjunto de los números reales junto con sus mónadas satisface la relación: