Does anyone know of a Relation class with methods such as
  domain
  range
  add
  remove
  image
  inverse_image
  compose
  inverse_compose
  inverse
  override
 
etc.?

Thanks.