ODABA provides a number of extensional options for extend definitions, especially for defining subset relations between extents.
extent_option := col_ext_ref | super_sets | sub_sets