公理的集合論だとa∈aという記法は普通なんだろ
数学だと見ることはないね