:: deftheorem Def11 defines chordal GLIB_014:def 11 :
for S being Graph-membered set holds
( S is chordal iff for G being _Graph st G in S holds
G is chordal );