الكومة الثنائية هي بنية بيانات كومة تتخذ شكل شجرة ثنائية. تُعد الكومات الثنائية طريقة شائعة لتنفيذ رتل الأولوية. قدّم جون ويليامزجون ويليمز الكومة الثنائية عام 1964 كبنية بيانات لتنفيذ فرز الكومة.
تُعرَّف الكومة الثنائية بأنها شجرة ثنائية ذات قيدين إضافيين:
خاصية الشكل: الكومة الثنائية هي شجرة ثنائية كاملة؛ أي أن جميع مستويات الشجرة، باستثناء الأخير (الأعمق)، تكون ممتلئة بالكامل، وإذا لم يكن المستوى الأخير من الشجرة مكتملًا، تُملأ عقد ذلك المستوى من اليسار إلى اليمين.
خاصية الكومة: المفتاح المخزن في كل عقدة يكون إما أكبر من أو يساوي (≥) أو أصغر من أو يساوي (≤) المفاتيح في العقد الأصغر، وفقًا لترتيب إجمالي معين.