We study hereditary classes of relational structures. We characterize those classes whose elements can be expressed as finite substructures of one of finitely many (possibly infinite) relational structures.
We also study classes of set partitions that canbe expressed as finite substructures of partitions of ordinals.