これが、「相対空間の形式的包摂」である。