@[email protected] Set: Standard middle-thirds Cantor set.Family of surfaces: 2nd-countable infinite-type topological surfaces.Family of curves: Separating curves Type of binary relation: Equivalence relation.Group: There are way too many for me to pick.Equation: i^i=e^(-pi/2)