なぜなら、全順序集合の "形" とは何かが定義されていないからである。