closed term

views updated

closed term (ground term) See term.