Una relación más general que la igualdad es la inclusión (formula_47), que se define como sigue: