Using grouping language to describe equal sets