has part

has part is a transitive, reflexive and antisymmetric relation between a whole and itself or a whole and its part.