reformatting and editing of chapter on sets and relations