Ich vermute, das ist wie folgt zu verstehen: partielle Funktion = rechtseindeutige Relation totale Funktion = rechtseindeutige und linkstotale Relation => Menge aller partiellen Funktionen ist Obermenge von Menge aller totalen Funktionen. Soll nun verdeutlicht werden, dass man es nicht nur mit einer partiellen Fkt (=rechtseindeutige R) sondern sogar mit einer (aus mathematischer Sicht) "echten" Fkt (=rechtseindeutigen und darüber hinaus noch linkstotalen R) zu tun hat, spricht man (v.a. wohl im Kontext der theoret. Informatik / Berechenbarkeitsheorie) von einer totalen Funktion. (nicht signierter Beitrag von 2003:65:ED76:EB00:3864:8E0F:11B8:445 08:42, 5. Apr. 2016 (CEST) )