Structural set theory
A structural set theory is a set theory describing only structural mathematics, where sets are completely characterized by their relation to other sets. F. William Lawvere describes such set theories as prioritizing Form over Substance.