Hmm. Let me phrase is another way. If a condition is true for a set $A$, it is true for all subsets of $A$. It has something to do with the structure of the set $A$. For example, if a set $A$ is a group, then not all subsets of $A$ are groups. Here $f$ would be a function which checks if the argument is a group or not.
But now, suppose there is some property of a set $X$ determined by its structure and the situation is if a set $A$ satisfies that property, then so do all subsets of $A$ satisfy that property, is there a name for such thing?
But now, suppose there is some property of a set $X$ determined by its structure and the situation is if a set $A$ satisfies that property, then so do all subsets of $A$ satisfy that property, is there a name for such thing?