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.