Summarizing the definitions and properties.