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

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