Page "Independence system" Paragraph 2

# Every subset of an independent set is independent, i. e., for each E ' ⊆ E, E ∈ I → E ' ∈ I.

This is sometimes called the hereditary property.