が完全になるとき、は上平坦である、またはは平坦加群であるという。