任意の基数formula_1に対して以下のように一般化できる: