∂ part of node [[mathematical-logic]]