Важно понимать различие между определением, признаком и свойством

• По определению мы можем заключить какой-то факт: например, если прямые на плоскости не пересекаются, то они параллельны (см теорию по параллельным прямым). Но во многих случаях определением пользоваться неудобно, как в нашем примере — крайне сложно доказать, что прямые не пересекаются
• Признак даёт нам возможность идентифицировать объект, зачастую проще, чем по определению. Устанавливая параллельность прямых по равенству накрест лежащих углов, мы как раз пользуемся признаком параллельности прямых. Признаки созданы для удобного их использования на практике, но в их основе всё равно лежат определения
• Свойство — это факт или утверждение, которое следует из определения. Например, мы знаем, что две прямые параллельны и их пересекает третья. Заключая, что накрест лежащие углы равны, мы пользуемся свойством параллельных прямых