Axiomas de calentero y vaterero

[EA][ A = { x_{i} : montar(x_{i}) = calentador } ].

[Ef][ ... 

... < f : {calentador_{x}} ---> {calentador_{y}} & ...

... calentador_{x} --> f(calentador_{x}) = calentador_{y} > ... 

... ]

[Ef^{o(-1)}][ ...

... < f^{o(-1)} : {calentador_{y}} ---> {calentador_{x}} & ...

... calentador_{y} --> f^{o(-1)}(calentador_{y}) = calentador_{x} > ...

... ]

[EA][ A = { x_{i} : montar(x_{i}) = váter } ].

x_{1} = cadena_{j}

cadena_{1} = tapón-de-agua-derecha(m_{1},q_{1}) = m_{1}d_{t}[y(t)] = q_{1}g+(-1)·(F/2)

cadena_{0} = tapón-de-agua-central(m_{0},q_{0}) = m_{0}d_{t}[y(t)] = q_{0}g+(-F)

cadena_{2} = tapón-de-agua-izquierda(m_{2},q_{2}) = m_{2}d_{t}[y(t)] = q_{2}g+(-1)·(F/2)

tazón_{0} = taza(x,y) = x^{n+1}+y^{m+1}

div[taza(x,y)] = (n+1)(m+1) <==> ...

... x = (m+1)^{(1/n)}·( sin[((n+m)/2)+(-1)](t)/(( (n+m)/2 )+(-1)) )^{( (n+m)/(2n) )} ...

... or ...

... y = (n+1)^{(1/m)}·( cos[((n+m)/2)+(-1)](t)/(( (m+n)/2 )+(-1)) )^{( (n+m)/(2m) )}

tazón_{1} = contra-tapa <==> taza(x,y) = ((n+m)/2)^{( ((n+1)+(m+1))/2 )} or taza(x,y) = 1

tazón_{2} = tapa(t)

d_{x}[ ( sin[((n+m)/2)+(-1)](t) )^{( (n+m)/(2n) )} ] = ...

... ( (n+m)/(2n) )·( sin[((n+m)/2)+(-1)](t) )^{( (m+(-n))/(2n) )}·cos[((n+m)/2)+(-1)](t)

d_{x}[ ( cos[((n+m)/2)+(-1)](t) )^{( (n+m)/(2m) )} ] = ...

... ( (n+m)/(2m) )·( cos[((n+m)/2)+(-1)](t) )^{( (n+(-m))/(2m) )}·(-1)·sin[((n+m)/2)+(-1)](t)

[Ef][ ... 

... < f : {váter_{x}} ---> {váter_{y}} & ...

... váter_{x} --> f(váter_{x}) = váter_{y} > ... 

... ]

[Ef^{o(-1)}][ ...

... < f^{o(-1)} : {váter_{y}} ---> {váter_{x}} & ...

... váter_{y} --> f^{o(-1)}(váter_{y}) = váter_{x} > ...

... ]