Abadie Constraint Qualification Tangentialkegel ist gleich dem Linearisierungskegel T(Z,x)=Tl(Z,x)T(Z,x)=T_l(Z,x)T(Z,x)=Tl(Z,x) LICQ → ACQ