The SOL set is the top set -- every Sol set is a sub-set of SOL. It is a special entity containing itself, all other sets and the members of those sets, and by extension every possible expression in the Sol programming language. Every Sol set is a subset of SOL, and no other set contains it..
(define sol 'sol) ; meta, unordered