The derivation operator \\(g: 2^Y \rightarrow 2^X\\) is defined symmetrically.

Let \\(y \subseteq Y\\) be a subset of the attributes.

Then define \\(y' = g(y) \subseteq X\\) as the set of objects which have every attribute in \\(Y\\).