A set of attributes that contains a key is called a superkey, short for "superset of a key". Thus, every key is a superkey. Note that every superkey satisfies the first condition of a key: it functionallu determines all other attributes ot the relation. However, a superkey need not satisfy the seco...