If k = 1, then the lub is the type

If k = 1, then the lub is the type itself: lub(U) = U.
Otherwise:

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

ถ้า k = 1 แล้วหลับเป็นแบบตัวเอง: lub(U) =ประเทศอื่น ๆ:

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

ถ้า k = 1 แล้วหลุบเป็นชนิดของตัวเอง: หลุบ (U) = U.
มิฉะนั้น:

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

ถ้า k = 1 แล้ว หรือ เป็นแบบเอง หรือ ( U ) = uอื่น :