Before moving on, let's revisit the definitions of \\(f\\) and \\(g\\). Earlier we said:
> define \\(f(x)\\) as the set of attributes which apply to every object in \\(x\\).
>
> define \\(g(y)\\) as the set of objects which have every attribute in \\(y\\).
Now let's spell these out more formally.