 Let us say that a concept \(F\) is hereditary on the natural numbers just in case every ‘adjacent’ pair of numbers \(n\) and \(m\) (\(n\) preceding \(m\)) is such that \(m\) falls under \(F\) whenever \(n\) falls under \(F\), i.e.,