Definition for property division