Властивості, що випливають з означення