(?) olduğunda, herçin I (x) = x koşulunu sağlayan I : B işlevi, Anlamdaş. doğal birlev, kapsama gönderimi.