is part of

Relation P(x,y), read as 'x is a part of y', holds whenever the region x is contained within the borders of the region y.

is part of

Relation P(x,y), read as 'x is a part of y', holds whenever the region x is contained within the borders of the region y.