Totální zobrazení

Řekneme, že zobrazení je totální, pokud platí (tedy má plný definiční obor).

Totální tedy splňuje, že pro každé existuje právě jedno splňující .

Zapsáno predikátkou: