First-countability is hereditary

Verbal statement
Any subspace of a first-countable space is a first-countable space, with the subspace topology.