Axioms for the part relation · Study