Даны прямая а и точки А и В такие, что А принадлежит а и В непринадлежит а
A принадлежит прямой а, значит А лежит (находится) на этой прямой. В не принадлежит прямой а, значит В не лежит ( не находится) на этой прямой. См. рисунок
