Beautiful Formulation

Relational calculation 一開始很吸引我的一個特點是它能夠很簡潔地表現一些常見的性質。（現在還是很吸引我 XD。）給予以下的基本定義（in Rel）

我們可以用 6 個以內的 tokens 表示以下的常見性質

而且都可以藉著把 relations 詮釋為 nondeterministic mappings 而讀出 operational meanings！

--
現在正在一條一條地證明 AoP 列出來的相關性質，modular law 有比較上手了 XD。