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. |