mereological

adjective1

1. •
   Of or pertaining to mereology, a collection of axiomatic first-order theories dealing with parts and their respective wholes.

   • Join is a mereological relation which can be interpreted as union set-theoretically.