Intuitionistic fuzzy sets

Various properties are proved, which are connected to the operations and relations over sets, and with modal and topological operators, defined over the set of IFS's.