https://dasbestelexikon.de/ja/wiki/束一的性質