include(exemples/exemple2_definitions).
% transitivite de l inclusion
theoreme(ex2_thI03,![A,B,C]:(inc(A,B) & inc(B,C) => inc(A,C))).
% l'ensemble des parties d'une intersection est égale à l'intersection des parties
theoreme(ex2_thI21,![A,B]:egal_ens(parties(inter(A,B)),inter(parties(A),parties(B)))).