Description: The set of finite intersections of the empty set. (Contributed by Mario Carneiro, 30-Aug-2015)