[:
X
,
S
:]
c=
[:
X
,
X
:]
by
ZFMISC_1:96
;
hence
R
is
Relation
of
X
by
XBOOLE_1:1
;
:: thesis:
verum