:: deftheorem Def6 defines chordal GLIBPRE0:def 6 :
for GSq being GraphSeq holds
( GSq is chordal iff for n being Nat holds GSq . n is chordal );