Is it correct to nest HTML definition lists (<dl>)?

Well the spec seems to allow it, provided that only the <dd> contains nested lists. The spec states that a <dt> is an inline element, so it can't contain a nested list. A <dd> is a block element, so an inner list inside one of these is fine.

Sure. There's nothing wrong with nested DLs. You can semantically have "subdefinitions."