En estas aplicaciones la cardinalidad de X es siempre menor que la de Y, esto es, el conjunto Y tendrá mayor número de elementos que X cuando tratamos de compararlos.