first-order terms

1. REDIRECT Term (logic)

{{R to alternative name}}