Я все равно упорно не понимаю, сущностями какого рода являются

и

и что означает приписывание к ним индекса. Я привык, что индекс означает вычисление функции. Вот, например, что пишет Кострикин:
Цитата:
При заданных множествах

и

отображение

с
областью определения 
и
областью значений 
сопоставляет каждому элементу

элемент

, обозначаемый также

или

.
То есть

и

- функции? Каковы их области определения и области значений?
-- Чт июн 03, 2021 02:58:47 --Чем конкретно вас не устраивает моя формулировка? Вы отмахнулись от нее и начали развивать что-то неудобоваримое.
Отлично подходит конечная последовательность - функция

, где

- множество возможных значений переменных (придется перейти к большой

, раз вы хотите еще работать со своими семью буквами).
Теперь положим

. Зачем они вам - не знаю, но пусть будут.
После этого положим

и делайте с ним что хотите.