Condition for neighborhoods in covering based rough sets to form a partition