Día de la mujer

Supongamos X e Y ambos pertenecientes a una topografía social real.
Dando por cierto el presupuesto de que para cualquier X y para cualquier Y se cumpla que  X-Y = 0 para poder afirmar que X no puede ser nunca mayor que Y (X>Y) o que Y>X concluimos que es innecesaria la mención de Y.
La experiencia cotidiana demuestra que Y es siempre una función de X; Y=f(x) donde nunca Y>X
Es por tanto necesario definir una topografía social en la que sea posible:
1) Tanto X=f(y) como Y=f(x)
2) X e Y compartan las propiedades conmutativas, asociativa y de identidad para pertenecer al espacio real
3) Que sea posible que exista un Y' siendo f(x) que pueda cumplir la propiedad Y'>X'
4) Que sea posible que exista un X' siendo f(y) que pueda cumplir la propiedad X'>Y'