Complex sentence: In ZF set theory without the axiom of choice, the following definitions for finiteness of a set "S" are distinct, and are arranged in strictly decreasing order of strength.
Split into simpler sentences: In ZF set theory without the axiom of choice, the following concepts of finiteness for a set "S" are distinct. They are arranged in strictly decreasing order of strength.