Invariants: Invariants are conditio

Invariants: Invariants are conditions which need to hold true in
the commit state of our model.

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

Invariants: Invariants เป็นเงื่อนไขที่จำเป็นต้องเก็บในรัฐยืนยันรุ่นของเรา

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

invariants: ยืนยงเป็นเงื่อนไขซึ่งต้องถือเป็นจริงใน
การกระทำของรัฐรูปแบบของเรา

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

ผลยืนยง : ผลยืนยงเป็นเงื่อนไขที่ต้องถือจริงใน
ยอมรับสภาพของนายแบบของเรา