Unit circle/Real/Definition