>>681
6-291, 6-655 に正確な定義を書いておいてある。