令M为TGE的可数传递模型，则由M生成的脱殊复宇宙Vm为满是以下条件的最小模型:
M∈Vm
如果M∈Vm，而N=N【C】是N的脱殊运算，则N”∈Vm
如果M∈Vm，而N=N^【C】是N^的脱殊运算，则N”∈Vm
简单来说就是，Vm是包含m并且对脱殊扩张和脱殊收缩封闭的最小模型类。
如果集合论多元宇宙是由集合论的每个宇宙，在脱殊扩张以及脱殊refinements，下封闭而产生的，那么他就是一个脱殊复宇宙。
也就是说，脱殊复宇宙拥有所有的脱殊扩张形式的冯·诺依曼宇宙(即宇宙V)。