Už sme si povedali, kedy je binárna relácia z množiny
do množiny
zobrazením. Všímali sme si pri tom, ako šípky vychádzajú z prvkov množiny
, resp. či z každého prvku množiny
vychádza práve jedna šípka. Kam šípky vchádzajú, sme si nevšímali.
Budeme si pri tom všímať, kam šípky vchádzajú.