Κυρτό σύνολο

Ένα σύνολο S λέγεται κυρτό (convex set ) όταν το ευθύγραμμο τμήμα που ενώνει δύο οποιαδήποτε σημεία του ανήκει ολόκληρο μέσα στο σύνολο.

S

,

S

Στην αντίθετη περίπτωση, δηλαδή όταν υπάρχουν ζεύγη σημείων των οποίων το ευθύγραμμο τμήμα δεν βρίσκεται ολόκληρο μέσα στο σύνολο, το σύνολο λέγεται μη κυρτό.

Κυρτό είναι το σύνολο της επάνω εικόνας, το οποίο περικλείεται από τη γραμμή. Μη κυρτά είναι η ίδια η γραμμή που περικλείει το κυρτό σύνολο, το εξωτερικό του κυρτού συνόλου, καθώς και το σχήμα της κάτω εικόνας.