Comment by KibbutzDalia

Inside a 3.5" floppy hard-shell is a floppy disk that's made of the same (or very similar) floppy material that a 5.25" and 8" floppy is made of. So I think the term is OK.