{×|× is a set of days with names counting ×}