What does "disjoint" mean? Could you go a bit more into detail in a formal way?