  The schematic finite spaces are those finite ringed spaces where a theory of
quasi-coherent modules can be developed with minimal natural conditions. We
give various characterizations of these spaces and their natural morphisms. We
show that schematic finite spaces are strongly related to quasi-compact
quasi-separated schemes.
