(Il me semble que la définition commune de l'inclusion, c'est équivalent à ≤ au niveau du cardinal, non ?)