Основы тестирования программного обеспечения: Дипломы

Доказательство "концепции Тестирования" из второй лекции "Курса тестирования" трудно понять:

A**3 = A*A*A

A*A*A = A -> R, A*R -> R, A*R -> R

Понятно что A**3 это A*A*A.

Но не понятно что такое А. Что означает A -> R, что это за стрелка, это обращение к внутреннему свойству в А? 

https://intuit.ru/studies/courses/48/48/lecture/1426