"Если прямые параллельны, то...". Утверждение такого вида называется...

• признаком параллельности прямых
• свойством параллельных прямых
• определением параллельных прямых