Find!
x1 (set/shape) is convex in sense x2.
A function cannot really be convex (its epigraph can be though). This word is the gismu form of "konvexi".