Zadanie:
Dané sú množiny
a
. Utvorte množinu
všetkých usporiadaných dvojíc
, ktorých prvá zložka
je z množiny
, druhá zložka
je z množiny B a platí: mesto
leží v štáte
.
Riešenie:
Zrejme
.
Všimnime si, že táto množina je binárnou reláciou z množiny
do množiny
.
Jej vrcholový graf je znázornený na obrázku.