(Alm. wohldefinierte Funktion, f; Fr. fonction bien définie, f; İng. well-defined function) 

mat. A değişkenler bölgesi ve P birtakım parametreler ailesi olmak üzere, A x P üzerinde tanımlanmış bir g: AxP › B fonksiyonunun, her a ? A ve her p, q ? P için g(a,p) = g(a,q) koşulunu sağlaması halinde f(a) = g(a,p) şeklinde tanımlanmış olan f : A › B fonksiyonu.