- #1

- 1,552

- 15

My question is, what would happen if you restricted the relations to functions, i.e. for any nonempty set X and any function f from X to X, there is a sequence (x_n) in X such that f(x_n) = x_n+1 for each n in N? Would that be equivalent to the Axiom of Dependent Choice, or would it be weaker? If it's weaker, how weak is it? Is it provable in ZF?

Any help would be greatly appreciated.

Thank You in Advance.