A körsík (a Möbius-sík és az inverz sík is) az azonosság-axiómarendszer által leírt sík, amelyben a pontok és az úgynevezett általánosított körök játsszák a főszerepet .
A körsíkra példa az euklideszi sík egy ideális ponttal ( ) kiegészítve. Az általánosított körök közönséges körök , valamint közönséges egyenesek , kiegészítve egy ponttal , az előfordulási reláció a tagsági reláció.
A körsík egy beesési struktúra , ahol pontok halmaza, általánosított körök halmaza, és szimmetrikus beesési reláció és között , amely kielégíti a következő axiómákat:
V1: Bármely három ponthoz pontosan egy általánosított kör van, amely incidens -val . A2: Bármely általánosított körhöz tetszőleges pont és pontosan egy általánosított kör van , úgy, hogy: és (vagyis érintsék egymást a pontban ). V3: Bármely általánosított kör legalább három pontra esik. Legalább négy különálló pont van, amelyek nem esnek ugyanahhoz a körhöz.