---
tag: AS2AEBCKYP
kind: concept
name: Higher-order variable
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section H
    note: adopted
    mention: wikipedia://en/76765067#PZ78
    sections: [Summary]
inventory: [KEC58RZZ40]
---

## Summary

A variable in higher-order logic that represents a function, predicate, or relation, rather than an individual object.