Description: A chain of sets is closed under binary union. (Contributed by Mario Carneiro, 16-May-2015)