On the use of binary relations as collective predicates in natural mathematics: Extended Abstract | Synapse