Section Definitions and properties

This section states ONE definition, and ONE theorem