for X being set holds card (FixedUltraFilters X) = card X