Απλά και περιγραφικά μπορούμε να ορίσουμε την ιδιότητα της κλειστότητας σε μια πράξη που έχει οριστεί σε ένα σύνολο ως έξης :
Για κάθε ζεύγος στοιχείων που ανήκουν στο σύνολο της ομάδος και έχουν σαν αποτέλεσμα της πράξης ένα στοιχείο, το στοιχείο αυτό ανήκει επίσης στο σύνολο της ομάδος
Πιο αυστηρά με συμβολισμούς:
Έστω ( G , ⋅ ) {\displaystyle (G,\cdot )} {\displaystyle (G,\cdot )} ένα σύνολο και μια πράξη δηλαδή καλώς ορισμένη συνάρτηση ●(GXG)-->G
Αν για ꓯ (κάθε) ( α , β ) є GXG --> α●β є G
Hellenica World - Scientific Library
Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License