TWO FORMAL APPROACHES TO ROUGH SETS