Either we run out of elements, which implies that the mapping well-orders the set, or we do not run out of elements, which implies that all the ordinals can be mapped one-to-one into the set.
Either we run out of elements. Elements implies that the mapping well-orders the set. Either we do not run out of elements. All the ordinals can be mapped one-to-one into the set. Elements implies this.