pull request numer 2

update section subject domain of sc-sets
update section subject domain of formal theories
changes in files to approve viewing