This axiom implies the axiom of global choice because the class of ordinals is not a set;hence there exists a bijection between the ordinals and the universe.

• 如果需要的话，它可以被弱化为“任何其定义域被包含在一个集合中的类函数的值域等于一个集合”；