Параллельные прямая и плоскость

Определение

$a\parallel \alpha \iff a\cap \alpha =\varnothing$.

Признаки

1. $a\parallel \alpha \impliedby a\parallel b\subset \alpha$.