ストリクト関数
strict function
最小元
を最小元に写す関数
/mrsekut-book-4320026578/099