up::[[ensemble]]
#s/maths/ensembles 

----
La _subpotence_ est une relation sur deux ensembles, satisfaite lorsqu'il existe une [[injection]] entre les deux ensembles.
Elle permet de définir une comparaison de taille entre les ensembles, sans présupposer la construction des [[cardinal d'un ensemble|cardinaux]].

# Définition
Soient ensembles $E$ et $F$.
$E$ est subpotent à $F$ ssi is existe une [[injection]] de $E$ dans $F$.