候補キーを含む集合をスーパーキーという。