Inverse relations

[ .. ] → schema:isBasedOn → Abstract set theory / Abraham A. Fraenkel