設有一組彼此對易，且函式獨立的厄米算符A(A1,A2,……)，它們的共同本徵函式記為ψk,k是一組量子數的籠統記號。設給定k之後就能夠確定體系的一個可能狀態，則稱（A1,A2,……）構成體系的一組對易力學量完全集（COMPLETE SET OF COMMUTING OBSERVABLES,簡記為CSCO）。
