for D being set holds {} in D ^omega