Let L and L′ be two GADLs with 0 and 0′, respectively, and f :L → L′ a homomorphism. Then we have the followings: (1) For any ideal J of L′, f−1(J) is an ideal of L containing Kerf. (2) If f is onto, then for any ideal I of L, f(I) is an ideal of L′.
ขอ L และ L 'เป็นสอง GADLs กับ 0 และ 0' ตามลำดับและ f: L → L 'Homomorphism แล้วเรามีดังต่อไปนี้ (1) เหมาะสำหรับการใด ๆ ของ J L 'F-1 (J) เป็นอุดมคติของ L ที่มี Kerf. (2) ถ้าเป็นฉลงแล้วสำหรับการใด ๆ ที่เหมาะสำหรับผม L, f (ผม ) เป็นอุดมคติของ L '