Description: A conditional class is included in the union of its two alternatives. (Contributed by BJ, 15-Aug-2024)