Rough concept lattice and construction arithmetic