Es decir: el conjunto de todos los "A" es idéntico al conjunto de todos los "B" si y sólo si todos los "A" son "B", y todos los "B" son "A".