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