>>362
それは手続き型言語の考え方
定義域、値域とかいいだしたら論理が循環する