Who Cites term closed?
term_closed	Def closed(t) == s,v:Term. t[s/v] = t
	Thm* t:Term. closed(t) Prop

Syntax:

closed(t)

has structure:

term_closed(t)

About: