部分選択関数に、制限したら一致したら定義域の大きい方を大きいとする順序を入れたら任意の鎖が最大限を持つからツォルンより極大元を持ち、それは定義域が元の集合になる