We call a set S on the real line R "superinvariant", if for any stretching A of the set S by the transformation taking x to A(x)=x0+a(x−x0), where a>0, there exists a transformation B,B(x)=x+b, such that the images of S under A and B agree; i.e., for any x∈S, there is y∈S such that A(x)=B(y), and for any t∈S, there is a u∈S such that B(t)=A(u). Determine all superinvariant sets. algebratransformationTranslationinvariantIMO ShortlistIMO Longlist