x.y

x = 0
y = 1

x + y = 2
x<3a


a ~ y

f(a)=a-y
f(a)>0

f(y)=y-a
f(y)>0


a^1 = a^(inf)

a^