Function difference

Obtain entries not present in another entries.

Returns

x = x - y = {[kᵢ, vᵢ] | [kᵢ, vᵢ] ∈ x, [kᵢ, *] ∉ y}