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