{ a , ... , a ︷ k   a 's , b , ... , b ︷ ℓ   b 's ︸ k + ℓ  elements }