A Relation Type indicating an equivalent thing.