for Y being set holds Top (EqRelLatt Y) = nabla Y