This lesson is included with Plus.
Read a map like ⋆: A × A → A as a rule that takes two inputs from A and returns one output in A. Practice translating between function notation ⋆(a, b) and infix notation a ⋆ b without using group axioms yet.