We can say that a relation is in the third normal form when it holds any of these given conditions in case of a functional dependency P -> Q that is non-trivial:
P acts as a super key.
Q acts as a non-prime attribute. Meaning, every element of Q forms a part of a candidate key.