Based on the definition of Cross ratio, let $z_0,z_1,z_2,z_3\in \mathbb{C}$. Then they lie on a circle iff
:?:
$q(z_0,z_1,z_2,z_3)\in \mathbb{R}$. In particular, these points are in cyclic order if the cross ratio is negative.