Definitions

a divide, to partition