が与えられたとき、formula_3に沿ったformula_4のカン拡張は「左」カン拡張と「右」カン拡張の2種類がある。