disjunct - DISTINCT option
The option indicates that all subsets of the extent are distinct, i.e. no object instance is member of more than one subset extent.
When the option is active for an extent A, adding an instance to subset B, which already exists in subset C will remove the instance from collection C before adding it to collection B.
// Collection Invoice with distinct subsets
// PaidInvoices, UnpaidInvoices
UnpaidInvoice.insert('bill1'); // creates bill1
PaidInvoices.insert('bill1'); // removes bill1 from unpaid
Type: logical