Yes, a 400k disk written from an 800k or even 1.4MB drive will be fine. By default, macos will write MFS to 400k disks, and you have to do some contortions to make it write HFS to 400k.
The 64k ROM machines can use an 800k drive (and HFS) if you load the HD20 init.
The 64k ROM machines can use an 800k drive (and HFS) if you load the HD20 init.