theorem :: PARTIT_2:20

for A, B being set holds field ({} (A,B)) = {} by RELAT_1:40;