Category:Definitions/Dynkin Systems