A mereological system requires at least one primitive relation e.g., dyadic "Parthood", " " x "is a" part "of" y "," written "Pxy".
A mereological system requires at least one primitive binary relation (dyadic predicate). The most conventional choice for such a relation is "Parthood", " " x "is a" part "of" y "," written "Pxy".