ako argument asocijativna beskonačne beskonačni beskonačno dat definicija definicije definirali definirana definirati doista dok dokazati domena dva ekstenzija ekvipotencija ekvipotentnost element elementu ćemo funkcija funkcije funkciji funkciju gdje gore ili inverznoj jedinstvena jedinstveni jedna jednaka jednake jednakosti jer još kada klasifikaciju kodomena koje kojemu koji kompozicija koristimo matematike matematički mogućih nakon naprijed natrag nezavisna nezavisne nije nisu novi objekt objekta odnosno osnove osnovne ovom označavamo oznake oznaku područje poglavlja poglavlju pojmove poprima potrebno pravilo preslikavanje pridružuje primijetimo primjer proširenje proizvoljni restrikcija skup skupa skupova skupove skupovi slijedi slika slučaju smo suženje svaki svako svih tako teorem što tvrdnja uređeni uvijek važan varijabla varijable vezane vrijedi vrijednosti zaista zavisna zovemo