  We interpret homogenousness as a second order property and base it on the
same principle as nonmonotonic logic: there might be a small set of exceptions.
We use this idea to analyse fundamental questions about defeasible inheritance
systems.
  In an appendix, we discuss the concept of the core of a (model) set.
