Let be a first order language. Let be an -structure. Then we say is homogeneous if the following holds:
if is an isomorphism between finite substructures of , then extends to an automorphism of .