Functional Hausdorffness is hereditary

Statement
Any subset of a functionally Hausdorff space, endowed with the subspace topology, is also a functionally Hausdorff space.