Gọi <span class="katex-r" data-latex="displaystyle A"></span> là tập hợp tất cả công dân Việt Nam, và <span class="katex-r" data-latex="displaystyle B"></span> là tập hợp các chuỗi ký tự gồm 12 chữ số. Quy tắc <span class="katex-r" data-latex="displaystyle f"></span> tương ứng mỗi công dân với số Căn cước công dân (Mã số định danh cá nhân) của người đó. Quy tắc này có phải là một ánh xạ không? Tại sao?