Скрещивающиеся прямые

Определение

$a \div b \iff \nexists~ \alpha:a,b\subset \alpha$.

Свойства

1. $a\div b \implies \exists~\alpha: a\subset\alpha \parallel b$.

Признаки

1. $a\div b \impliedby a\subset \alpha ,~b\cap \alpha =A\notin a$.