Circle property β€” introduction