Therefore: R = RE ∩ co-RE . {\displaystyle {\mbox{R}}={\mbox{RE}}\cap {\mbox{co-RE}}.} RE-complete is the set of decision problems that are complete for RE.
Одатле важи: R = RE ∩ co-RE . {\displaystyle {\mbox{R}}={\mbox{RE}}\cap {\mbox{co-RE}}.} RE-комплетно је скуп проблема одлучивања који су комплетни за RE.