Определения, свойства, леммы, теоремы, следствия.