Expand set theory docs