Domain Relational Calculus
The variables represent individual domain values (rather than whole tuples)
"Find employees whose pay is over $25,000"
{f,n | (? p) EMPLOYEE (f,m,n,s,b,a,x,p,u,d) and p > 25000}
This is already a shorthand: should say f exists and belongs to the domain "string", etc. etc. for each variable.