ストーン双対性は、任意のsober空間"x" に対しformula_11が"x" と「自然に」同型になり、さらに任意の空間的完備ハイティング代数"f" に対し、formula_12が"f" と「自然に」同型になる事を意味する。