A calculus of rough sets of the first order