A nonempty subset I of a KU-algebra

A nonempty subset I of a KU-algebra X is called a KU-ideal
of X if it satisfies the following conditions

ผลลัพธ์ (ไทย) 1:

ชุดย่อย nonempty แห่ง X คุพีชคณิตเรียกว่าคุ-เหมาะของ X ถ้ามันเป็นไปตามเงื่อนไขต่อไปนี้

ผลลัพธ์ (ไทย) 2:

เซตว่างผมของ KU-X พีชคณิตเรียกว่า KU-เหมาะ
ของ X ถ้ามันสอดคล้องกับเงื่อนไขต่อไปนี้