Property information

definition

s 'determined by part of' w if and only if there exists some f such that (1) s 'determined by' f and (2) f part_of w, or f=w.

term editor

Chris Mungall

Property relations