A cell in R holds a set instead of an atomic value.
R has a non-trivial functional dependency X → A, where X is not a superkey and A is a prime attribute
R has a non-trivial functional dependency X → A, where X is not a superkey and A is a non-prime attribute and X is a proper subset of some key.
R has a non-trivial functional dependency X → A, where X is not a superkey and A is a non-prime attribute and X is not a proper subset of any key.