Es la relación de inclusión de conjuntos.