for Y being non empty set
for d being constant Function of Y,BOOLEAN holds
( B_INF d = d & B_SUP d = d )