for F being Function st dom F = {{}} holds
Commute F = F