Definition:Realization of Type