Show that the following statements are equivalent for any topological space .

(a) Whenever are mutually separated subsets of , there exist open disjoint such that and .

(b) is hereditarily normal.

Background:

Definition-Sets and are mutually separated in a space if and only if