设有一组彼此对易，且函数独立的厄米算符a(a1,a2,……)，它们的共同本征函数记为ψk,k是一组量子数的笼统记号。设给定k之后就能够确定体系的一个可能状态，则称（a1,a2,……）构成体系的一组对易力学量完全集（completesetofcommutingobservables,简记为csco）。