问答题

计算题 设〈A,〈〉是具有序数α的良序集,且B⊆A。令β是良序集〈B,〈°〉的序数,其中〈°=〈∩(B×B)。证明β∈α。

【参考答案】