#### Property information

**definition**

q characteristic of part of w if and only if there exists some p such that q inheres in p and p part of w.

**editor note**

Because part_of is transitive, inheres in is a sub-relation of characteristic of part of

Because part_of is transitive, inheres in is a sub-relation of characteristic of part of