\{a_1, a_2, ... , a_k\}