Начало см. здесь и здесь.

Более неформальное определение гармонических четверок точек см. здесь.

Определение "двойного отношения" и "разделенности пар точек" см. здесь.