:: deftheorem defines GPart BVFUNC_1:def 18 :
for Y being non empty set
for f being Function of Y,BOOLEAN holds GPart f = { { x where x is Element of Y : f . x = TRUE } , { x9 where x9 is Element of Y : f . x9 = FALSE } } \ {{}};