>>19 だが、縮小について矛盾なく定義されているのは当たり前かも。
展開についてだが、

　　　　　　　　　　*
　a　　　　　　　　△
　△　→＜　　d △ f
b　　c　　　　△　　△
　　　　　　　g　　h　　i

となる a, b, c, d, f, g, h, i があるとき
* に入る基数が存在する
という定義はどうだろう。