Relational Division

向 scm 老師求得看懂兩個 relations 相除意義的撇步後，一些本來跟天書一樣的定義如 specifications of optimisation problems 裡面最重要的

min R = ∈ ∩ (R/∈)

和 thinning algorithms 用的

thin Q = (∈\∈) ∩ ((∋·Q)/∋)

突然都讀得出意思了！

--
又燃起了希望 XD。