Implement a computer program $($either in C$)$ following the specifications of the system given below.

Applicable Sets

$U$:$\{xin{Z}^{+}|x<mn\; id="EditorElement\_5428">3</mn><mi\; id="EditorElement\_5430">\}</mi>$

$T$:$\{xin{Z}^{+}|x<mn\; id="EditorElement\_5461">7</mn><mi\; id="EditorElement\_5463">\}</mi>$

$C$:$UU$

$F$:$TT$

$V$:$\{$ true, false $\}$