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