while文をモデル化でき，プログラム検証に応用されている単位的クオンテールという代数構造がある．特に，完備上半束がべき集合である単位的クオンテールを，べき集合クオンテールという．任意のべき集合クオンテールは二項関係的クオンテールに埋め込めるが，その根本的な理由はわかっていない．著者らは，べき集合クオンテールを対象とした圏 PQtが，二項関係を射とするRel上の，(-)*-代数，Rel内モノイド，モノイダル三項関係を対象とした圏とそれぞれ同型であると証明した．これによりPQtと二項関係の関連性が少し明らかになった．