Domset functional