علاقة ثنائية

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