12) ОК - луч, А є ОК, В ∉ ОК.

В данном случае, это утверждение означает, что ОК является лучом, точка А принадлежит этому лучу, а точка В не принадлежит ему.