Property information

definition

x starts ends with y if and only if the time point at which x starts is equivalent to the time point at which y starts. Formally: x existence starts with y iff α(x) = α(y).

term editor

Chris Mungall

Property relations