„Elemrendszer” változatai közötti eltérés

Régebben előfordult a függvények olyan, [[kategóriaelmélet]]i ihletésű definíciója, miszerint egy, az A,B halmazok közt ható f függvény az (A,B,G_f) rendezett elemhármas, ahol G_f a függvény ún. grafikonja, vagyis az A×B [[direkt szorzat]] egy [[balról egyértelmű reláció|balról egyértelmű]] és [[balról totális reláció|balról totális]] részhalmaza <ref>Ld. Maurer Gyula: ''Bevezetés a struktúrák elméletébe''; ill. [[Függvényfüggvény (matematika)#Egy finomabb modell|Függvény]] c. szócikk.</ref>. Ebben az értelmezésben '''elemrendszer'''en egy függvény grafikonját értjük, az f függvény [[értelmezési tartomány]]át pedig az elemrendszer '''indexhalmaz'''ának nevezzük.