@nikitonsky

There are also recursive unions and intersections of sets. Any other?