for Y being set holds EqRelLatt Y is complete