Rough Relation Algebras

Rough relation algebras were introduced by S. Comer as a generalisation of algebras of Pawlak's rough sets and Tarski's relation algebras. In this paper, some algebraic and arithmetical properties of rough relation algebras are studied and the representable rough relation algebras are characterised.