@Christopher In your comment what do you mean with \\( |S| \\) and with the star operation \\( |S| * |T| \\) ?