theorem :: ZFMISC_1:130

for A, B being set st B c= A & A is trivial holds
B is trivial