for Y being non empty set holds %I Y '<' %O Y