Description: The union of two finite ordinals is a finite ordinal. (Contributed by Scott Fenton, 15-Mar-2025)