これを使えばよろし
http://en.wikipedia.org/wiki/Knaster-Tarski_theorem