Predicate (logic)

Symbol representing a property or relation in logic

From Wikipedia, licensed CC BY-SA 4.0.