Funcţie goală
O funcție goală este o funcție al cărei domeniu este mulțimea goală.
Proprietăți
- Pentru fiecare set A , există o singură astfel de funcție goală
- Existenţa unei funcţii goale unice pentru fiecare mulţime A înseamnă că mulţimea goală este obiectul iniţial din categoria mulţimilor .
- Graficul funcției goale este o submulțime a produsului cartezian ∅× A .
- Deoarece un astfel de produs este gol, singura astfel de submulțime este mulțimea goală ∅.
- Submulțimea goală este un grafic valid pentru orice x din domeniul ∅ și orice y din subdomeniul A astfel încât ( x , y ) ∈ ∅. Acesta este un exemplu de declarație adevărată fără sens , deoarece nu există elemente x în domeniul de aplicare .