subdefinited models