Trong lý thuyết phạm trù, chúng ta có thể chứng minh rằng hàm 'double' là một đơn ánh (mono) vì nếu 'double(f(x))' luôn bằng 'double(g(x))', thì hai hàm 'f(x)' và 'g(x)' chắc chắn phải giống nhau.
Vì mỗi học sinh nhận được một số ID duy nhất, việc gán tên học sinh cho số ID là một hàm đơn ánh, nghĩa là không có hai học sinh nào có cùng một số ID.