for a, b, c being set st a in b & b is Subset of c holds
a is Element of c