Siendo esta, sin duda, la definición (utilizando teoría de conjuntos) de la función "m".