เซต A มีสมบัติการปิดภายใต้โอเปอเรชัน * ใด ถ้า a, b เป็นสมาชิกใน A แล้ว สมาชิกที่เกิดขึ้นใหม่จาก� a�* �b จะต้องเป็นสมาชิกใน A ด้วย