Core_set_intf.Elt_binable