Skip to main content

Table 2 The EM operators

From: The Sequence Ontology: a tool for the unification of genome annotations

EM operation Definition
Overlap (x y) x and y overlap if they have a part in common.
Disjoint (x ι y) x and y are disjoint if they share no parts in common.
Binary product (x . y) The parts that x and y share in common.
Difference (x - y) The largest portion of x which has no part in common with y.
Binary sum (x + y) The set consisting of individuals x and y.
  1. In each case x and y refer to two wholes. The first two operators are Boolean and pertain to whether two wholes share any parts in common; whereas the remainder return either the parts, or, in the case of binary sum, the wholes, that satisfy the operation.