>>439より、modular束(>>348)は上半modular束(>>443)かつ下半modular束(>>444)である。