A formal ideal-based account of typicality.

A formal ideal-based account of typicality.