Capture (English)
Search for " Capture " in NRICH | PLUS | maths.org | Google
Definition (undergraduate level)
A property Φ of relations is captured by a certain type of formula (e.g. a Horn clause) if the assertion " R is Φ " is expressed by a list of universal quantifiers enclosing a formula of that type.
Funded by: EU Socrates Minerva, HeyMath!, Cambridge University Press