跳跃算子

设AN，集合

=｛x｜(x)有定义｝

称为A的跳跃，记作A′。A=(A)′，……A=(An)′。

跳跃算子有以下性质：

(1)．A′是A递归可枚举集。

(2)．A′A，

(3)．B≤A当且仅当B′≤A′

(4)．B≡A当且仅当B′≡A′(从而如果B≡A则B′≡A′)。