а, в, (А₁);а, св;в, св a || a₁; β||β₁; ⇒α || β

Краткое пояснение: Запись означает, что a₁ пересекается с b₁ (А₁); a₁ содержится в β; b₁ содержится в β. Если a параллельна a₁; β параллельна β₁; ⇒α параллельна β.