:: deftheorem defines relational FOMODEL1:def 13 :
for S being Language-like holds
( S is relational iff not (RelSymbolsOf S) \ {(TheEqSymbOf S)} is empty );