hat
Se konsa si sa a tabli UN, Et si sa a tabli B, sa pou tout valè nan ansanm nonm UN, li sèlman cartes pou yon valè nan définir b
ara
حتى إذا تم تعيين هذا A، وإذا تم تعيين هذا B، أن أي قيمة في المجموعة A، فقط تقابل قيمة واحدة في المجموعة B.