in this talk (intended for general algebraic audience) i will discuss the problem of characterization of definable relations in algebraic structures and give a survey of some classical results in this direction. also, i will present my joint work with boris zilber, where we describe definable relations in the field of reals augmented by a binary predicate for a finite rank multiplicative group of complex numbers contained in the unit circle.