>>664
反例ありますか？
G(X)をF(X)を点とし、Xをルートとして包含関係でむきづけられた有効グラフとして、F(X)が無限集合と仮定する。
さらに(2)の仮定が満たされているとすると各ノードが有限分岐しかなければ選択公理下では無限有向列が取れてしまうので正則性公理に反する。
もちろんF(X)の要素が全てsingletonであるならF(X)は無限集合たり得ないはずなんですけど？