Nonempty topologically convex space