Merge: Reword set docs to use *proper subset/superset* terminology.