Oración 1: si podemos establecer una correspondencia de uno a uno entre los dos conjuntos, entonces ellos tienen el mismo tamaño
Oración 2: si tengo un conjunto A de 5 elementos y un conjunto B del que desconozco el tamaño, si sé que existe una correspondencia uno a uno o una forma de emparejar los elementos de A y B, sin que sobre ninguno y sin repetir elementos, entonces los dos tienen el mismo tamaño, 5
Conector: por ejemplo,
Relación: entailment
Género: theses