通常A^Xはsource=domainの写像の全体を意味するので
source≠domainである写像の全体でこれと同等にするため
Bが基点*付き集合の場合（bool代数なら0が基点）
XからB＼*へのsource≠domainである写像の全体
B^X={f∈P(X×(B＼*))|(x,y),(x,z)∈f→y=z}
と再定義せねばならなかったのを忘れていた
Xをdomainとする写像をsupp(f)に制限したもの