for Y being set holds Bottom (EqRelLatt Y) = id Y