Une relation binaire dérivée entre deux ensembles est la relation de sous-ensemble, également appelée inclusion définie.
Une relation binaire entre deux ensembles est la relation de sous-ensemble, également appelée inclusion définie.