We study the class of graphs with the property that every homomorphic
image is a subgraph. Our main theorem shows the equivalence of six dif
ferent characterizations of these graphs. We establish some properties
of this family of graphs, and relate them to other classes of perfect
graphs.