%--------------------------------------------------------------------------
% File     : claim3.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]: ((cls @ X) => (((trans @ X) & (sym @ X)) & (refl @ X))))).