t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2)
eco subset
David Osumi-Sutherland
before or simultaneous with