powerset relations as Span(Rel)