Definition:Isolated Type (Model Theory)