大小関係を定めても一般性を失わない