On properties of "part of" relations

The properties that we should require from "part of" relations generated by mereological systems of [10] are discussed. The case of "part of" for direct product and heterogenous relations is discussed in details. The work is motivated by an application to analyse formal specifications of software systems.