doubleinclusion and sup/inf limits