cz.cuni.amis.utils.sets