IUL->If there exist unambiguos CFG for any language then it is IUL.
Ex-{ambn| m=2n or n=2m}
IAL->Every CFG equivalent to IAL 'L' must be Ambiguos CFG.(No unambiguos CFG exist for IAL)
Ex-{ambnck |m=n or n=k}
Set of DCFL's ⊆ Set of IUL's ⊆ Set of CFL's(IAL's)
Every CFG is ambiguos.
Every DCFL,Finite,Regular language is IUL.