في الرياضيات، علاقة ثنائية ‏ بين مجموعتين ما A و B، هي مجموعة من الأزواج المرتبة، ينتمي العنصر الأول من هذا الزوج إلى المجموعة الأولى A والعنصر الثاني منه إلى المجموعة الثانية B. بتعبير آخر، هي مجموعة جزئية من الجداء الديكارتي A × B. ليس من الضروري أن تكون المجموعتان A و B متساويتين أو متطابقتين. Wikipedia