lst = [j + k for j in s1 for k in s2]
или
lst = [(j, k) for j in s1 for k in s2]
, если вы хотите кортежи.
Как и в вопросе, for j...
- это внешний цикл, for k...
- внутренний цикл.
По сути, вы можете иметь столько независимых предложений 'for x in y', сколько хотите в понимании списка, просто вставляя одно за другим.