Bu (tanımsı) belit, her hangi iki kümenin, bunlar ancak ve ancak birbirlerinin altkümeleriyse eşit olduğunu söyler. Matematiksel ifadeyle:
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
İki kümenin denkliğiyle karıştırılmamalıdır. Denklik öğe sayılarınınkardinallerinin) eşit olması durumudur.