The axioms of such structures induce many identities relating subsets, which are thorough within the connected content. ? and the set of all serious figures hold the very same cardinality, a bijection getting furnished by the functionality ? x ? tan ? ( π x / two ) displaystyle xmapsto tan(pi