Orthogonality of inversive plane

Definition
Given an inversive plane an orthogonality of the inversive plane is a binary relation satisfying the following:


 * It is symmetric
 * Given two points and a circle through only one of them, there is a unique circle through both that is orthogonal to the earlier circle
 * A circle orthogonal to two circles in a bundle is orthogonal to every circle in that bundle