ちなみに、Wikipediaのこの説明は、俺の理解と離れてないと思ってる。

> ソフトウェアでの直交性は、機能間の組み合わせや順序について依存関係が小さい事を意味する場合が多い。具体的には次のような事例を指す。
> ・オブジェクトへの操作があるなら逆操作もある。
> ・プロパティ間に依存関係がない。
> ・不変契約が保持されている。