كيف أعرف أن الدالة معرفة؟

وللتحقق إذا ما كانت أي دالة معرفة، فإننا نتحقق من أن ﺩ معرفة لكل قيمة مدخلة ممكنة . يعني هذا أننا نريد التحقق من أمرين. أولًا: علينا التحقق من أنه يمكننا اعتبار أي عنصر من عناصر المجال هو القيمة المدخلة للدالة. ثانيًا: علينا التحقق من أن القيمة المخرجة تكون دائمًا عنصرًا من عناصر المجال المقابل.