φ^-を空列のことと思えば、文字列として　a と φ^-, a　は等しい
だが、{a} = { , a}　ではない
左辺はaを唯一つの元とする集合、右辺は（強いて言えば）文字列φ^-, aを唯一つの元とする集合