A bináris kapcsolatok összetételének pontos meghatározása a magasabb algebra
Nem tudom megérteni, hogy a különböző forrásokban a kapcsolatok összetételének meghatározása másképp van megadva.
Egy (1):
Melyik helyes?
Emiatt nehézségek merültek fel a feladattal:
Két véges készlet van megadva:,.
Bináris kapcsolatok:
Meg kell találni a kapcsolatok összetételét
Így definíció szerint (1) :.
Tehát ahhoz, hogy kapcsolatot építsen ki, vegye az első párat ((a, 1) - ebben az esetben), és nézzen meg olyan párokat, amelyek 1-től kezdődnek.
Több ilyen pár van a következőkkel kapcsolatban:. Elkezdtük felépíteni a kompozíciót és megkapni:. Ezzel az elvvel a kapcsolat minden elemével együtt járunk.
Végül megkapjuk
Miután megkapta a kapcsolatot, akkor fordítva, hogy úgy, hogy úgy mondjam, a kívánt.
Most megpróbáljuk definíció szerint (2):
Itt kell levennünk az első párt a kapcsolatból (mert a feladatnál) (a mi esetünkben (1,1)), és nézzük meg az "1" -el kezdődő párokat. De nincs ilyen pár.
Próbáljuk meg alkalmazni az ingatlant: kapjuk a következőket :. Ismét a (2) definíció alapján meg kell találni olyan θ párokat, amelyek betűkkel kezdődnek. De nincs ilyen pár.
Mi a helyes meghatározás?