逐次整合性(一貫性)には、プログラム順序と書き込みの不可分性という2つの要件がある。