:: deftheorem Def5 defines chordal GLIBPRE0:def 5 :
for GF being non empty Graph-yielding Function holds
( GF is chordal iff for x being Element of dom GF holds GF . x is chordal );