r:rel(), i:. closed_rel(r) i < ||r.args|| closed_term(r.args[i])

1	1. r: rel() 2. i: 3. l: Term List 4. r.args = l reduce(t,vs. term_free_vars(t) @ vs;nil;l) = nil i < ||l|| term_free_vars(l[i]) = nil

About: