左不变式

left invariant