Non, B inclus dans A implique card(A) >= card(B), mais la réciproque n'est pas vraie (un ensemble peut être plus petit qu'un autre, mais avoir des éléments qui n'existent pas dans l'autre).