R \+\ S = (R \ S) \/ (S \ R) by XBOOLE_0:def 6;
hence R \+\ S is ext-natural-valued ; :: thesis: verum