for x, Y being set
for A being Subset of Y st x in A holds
(incl A) . x in Y