Newman/
Operators_Properties/
Relation_Definitions/
Relation_Operators/
Relations/
Rstar/