Mantido pelo grupo "Topologia do Interior"
Use que :
$$ xy \leq z \text{ se, e somente se, } x \leq (y \Rightarrow z)$$