ثنائية إيزاكيا تكافؤ ثنائي بين تصنيف جبر هيتينج وتصنيف فضاءات إيزاكيا، حيث يُمثَّل كل جبر هيتينج H طوبولوجياً بفضاء إيزاكيا (X,τ,≤) المكوّن من المرشحات الأولية مع الطوبولوجيا المولدة بمجموعات φ(a)={x∈X: a∈x}، وتُقابل φ شكل جبر H بجبر المجموعات العلوية المفتوحة والمغلقة، فأصناف HA وEsa مكافئتان ثنائيًا.