for I being set
for C being Subset of I holds C * c= I *