This says that \\( f(a \vee a') \\) is an upper bound of \\( f(a) \\) and \\ f(a') \\).

There's a missing parenthesis in the last part `\\ f(a') \\)`. This is repeated a few lines later.