Cardinalidad de un conjunto finito de puntos

Sean $P$ y $Q$ dos puntos distintos en el plano. Denotemos por $m (PQ)$ la mediatriz del segmento $PQ$. Sea $S$ un subconjunto finito del plano, con más de un elemento, que satisface las siguientes propiedades:

• a) Si $P$ y $Q$ están en $S$, entonces $m (PQ)$ intersecta a $S$.
• b) Si $P_1Q_1, P_2Q_2, P_3Q_3$ son tres segmentos diferentes cuyos extremos son puntos de $S$, entonces no existe ningún punto de $S$ en la intersección de las tres líneas $m(P_1Q_1), m(P_2Q_2),m(P_3Q_3$).

Determine el número de puntos que puede tener $S$.