for D being set holds FlattenSeq (<%> (D ^omega)) = <%> D