theorem Th41: :: POLNOT_1:41

for P, Q being FinSequence-membered set st P c= Q & Q is antichain-like holds
P is antichain-like ;