[vortico]

Was just about to post that. You can get very fine-grained from sets to any mathematical structure based on sets, where the inclusion chain is a spectrum of structureless to structured.