property of a one-parameter family where a member with a given size contains any member with a smaller size, tunnusperekonna omadus, kus antud suurusega liige asendab mitut väiksema suurusega liiget