kerneli fu'ivla

x1 (set) is the set of all points/input values in the domain of function x2 such that that function (x2) maps them to 0.

x1 is a subset of the domain set of x2.