1. funkcja przyporządkowująca elementom jednego zbioru elementy drugiego zbioru;
2. wyrażenie zawierające zmienną, którego dołączenie do funkcji zdaniowej powoduje powstanie nowego wyrażenia

funkcja przyporządkowująca elementom jednego zbioru elementy drugiego zbioru