Representasi diagram alternatif dari definisi kedua dari morfisme universal.