More on spectral spaces
General discussion of partitions and stratifications

OK, hopefully this is now more or less the correct standard definition.