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