Division is used to express queries that require an 'all' condition – the results returned must contain all the listed tuples.

To see the query in action, try our demo below:

Division of users over all locations

Show me users who have created a post at every one of the location tuples:

Division of locations over all users

Show me locations that all users have posted at: