Description: Equality theorem for the collection operation. (Contributed by Rohan Ridenour, 11-Aug-2023)