:: deftheorem Def1 defines PairsOf SCMYCIEL:def 1 :
for G being set
for b₂ being Subset of G holds
( b₂ = PairsOf G iff for e being set holds
( e in b₂ iff ( e in G & card e = 2 ) ) );