メタ
高次であること
逆の方は入れ子にリンクすると思う