theorem :: ZFMISC_1:124

for A, B, C being set
for p being object st A c= B & B /\ C = {p} & p in A holds
A /\ C = {p}