# Definition:Concyclic Points

A set of $4$ or more points $S = \set {P_1, P_2, \ldots, P_n}$ is concyclic if they all lie on the circumference of a circle.
In the above diagram, points $A, B, C, D$ are concyclic, as they all lie on the circumference of the circle centered at $O$.