predicate
concept of mathematical logic
first-order predicate
predicate that takes only individual(s) constants or variables as argument(s)
extension
Set of tuples of values that, used as arguments, satisfy the predicate. Such a set of tuples is a relation.
second-order predicate
predicate that takes a first-order predicate as an argument
logical quantification
logical operation
invariant
condition that can be relied upon to be true during execution of a program, or during some portion of it