Retrieved from http://red-ruby.com/wiki/wiki.php/정의가능부분집합,definable_subset