>>5
いや、3が整数かつ実数なのは両方の集合に含まれるからだけど
微分形式と測度って集合論的に共通部分ないじゃん