Κλειστότητα: Διαφορά μεταξύ των αναθεωρήσεων

:Έστω <math>(G , \cdot)</math> ένα σύνολο και μια πράξη δηλαδή καλώς ορισμένη συνάρτηση  f:●(GXG)-->G→G

Αν για ꓯ (κάθε) ( α , β ) є (GXG --> α●β)→α●β є G