You've definitely got the right intuition. "associative": (a + b) + c == a + (b + c) "binary": f a b == a `f` b == a + b where f is addition "identity elemen

You've definitely got the right intuition. "associative": (a + b) + c == a + (b + c) "binary": f a b == a `f` b == a + b where f is addition "identity element": the "empty" value which when paired with a second value, returns the second value as is