Description: Membership in the indexed union of relation exponentiation over the
natural numbers (including zero) is equivalent to the existence of at
least one number such that the element is a member of that
relationship power. (Contributed by RP, 2-Jun-2020)