Description: A singleton is closed under finite intersections. (Contributed by Mario Carneiro, 3-Sep-2015)