User blog comment:DontDrinkH20/H-Boogol-Boogol: Hopefully a very big non-salad number/@comment-35470197-20180819021045/@comment-36540075-20180820005833

Finally, the number is defined as the smallest (by order of the epsilon relation within each respective model) number which is defined as (cal)H_a(b) across all class-sized models of ZF: Class-sized models of ZF including any subclass of V with any relation across it defined as "in" which satisfies ZF.