Добрый вечер, начал изучать линейную алгебру и столкнулся с доказательством ассоциативности умножения матриц,

Что означают в данном контексте {} получается это некое i-ое j -ое множество из 1 элемента которое получилось в процессе умножения?
Или в данном доказательстве они используются для отражения уровня вложенности?(Что более интуитивно ясно, но хотелось бы уточнить)