[math-fun] Relative convexity