(log.) a set whose elements replace a variable in a predicate; replacement set.