%--------------------------------------------------------------------------
% File     : claim5.thf
% Domain   : Basil Smith's Elementary Theory of Relations
% Problems : 
% Version  : 
% English  : 
% Refs     :  
% Source   : Definitions from Basil Smith's Elementary Theory of Relations (CAMELEON 08)
%            Formalization by C E Brown
% Names    : 
% Status   : 
% Rating   : 
% Syntax   : 
% Comments : 
%--------------------------------------------------------------------------
include('ElemRelns.ax').
%--------------------------------------------------------------------------

thf(claim,conjecture,(![X:$i]: (((jec @ X) & (cls @ X)) => (sing @ X)))).