Heyting algebra with residual monoid の Heyting algebra 部分をStone双対でspectral spaceに移したときのresidual monoidってどんな感じになるんだろ