| Relation to Newton's law | ESH39K911B | statement | open | Wikipedia Gauss's law for gravity#FPBC |
| Relation to Newton's second law of motion | YNCKHSYSAX | statement | open | Wikipedia Angular momentum#ED4O |
| Relation to Osterwalder–Schrader axioms | HEFTW1BBKN | statement | open | Wikipedia Schwinger function#A39T |
| Relation to other axiom schemas | 9JDQASCDC1 | statement | open | Wikipedia Axiom schema of replacement#SWWF |
| Relation to other axiom systems for set theory | 7HTK9SJHFT | statement | open | Wikipedia Naive Set Theory (book)#QS73 |
| Relation to other axioms | 5SP0414F3A | statement | open | Wikipedia Open coloring axiom#A6PQ |
| Relation to other axioms | CJ0W8Q2BCC | statement | open | Wikipedia Axiom of countable choice#N883 |
| Relation to other conjectures | BVHMM38QZ6 | statement | open | Wikipedia Thurston elliptization conjecture#IZCE |
| Relation to other conjectures | GBNJ3XDGBM | statement | open | Wikipedia Beal conjecture#G9OX |
| Relation to other conjectures | TMP3A0C7VX | statement | open | Wikipedia Standard conjectures on algebraic cycles#SQFW |
| Relation to other consistency principles | A8NMAC4J51 | statement | open | Wikipedia Ω-consistent theory#GEGU |
| Relation to other separation axioms | E9ABJHA87W | statement | open | Wikipedia Urysohn and completely Hausdorff spaces#LVPW |
| Relation to Pappus's theorem | 4212A6YD0E | statement | open | Wikipedia Desargues's theorem#XKHE |
| Relation to Price's law | T8JWZ3CBJR | statement | open | Wikipedia Pareto distribution#TRCV |
| Relation to Rado's theorem and Schur's theorem | 4ZEFXJ94DH | statement | open | Wikipedia Folkman's theorem#5TKI |
| Relation to Ramsey's Theorem | VMKC46QM57 | statement | open | Wikipedia Sunflower (mathematics)#1OBO |
| Relation to Schanuel's conjecture | H6JGK8A23Q | statement | open | Wikipedia Existential closedness conjecture#TFSW |
| Relation to separation axioms and separated spaces | QPS9QFWYK3 | statement | open | Wikipedia Separated sets#WACI |
| Relation to the "Pareto principle" | R7K8W49FPE | statement | open | Wikipedia Pareto distribution#ECQ6 |
| Relation to the (Generalised) Continuum Hypothesis | 8JW8QWCXC5 | statement | open | Wikipedia Freiling's axiom of symmetry#CHXI |
| Relation to the axiom of choice | 4Z5AKMNF9Y | statement | open | Wikipedia Dedekind-infinite set#DDV2 |
| Relation to the axiom of choice | RDRTG9EB30 | statement | open | Wikipedia Krein–Milman theorem#8ZY8 |
| Relation to the axiom of choice | TKZ4BQHKVV | statement | open | Wikipedia Baire category theorem#DRTE |
| Relation to the axiom of choice and other statements | 66YABQPAJY | statement | open | Wikipedia Banach–Alaoglu theorem#N97Y |
| Relation to the axiom schema of replacement | 4NDBM3EMTD | statement | open | Wikipedia Axiom schema of specification#LJ9P |
| Relation to the Baker–Campbell–Hausdorff formula | BQSQFA5XGS | statement | open | Wikipedia Unitary transformation (quantum mechanics)#FYF7 |
| Relation to the binomial theorem | 1D8X434F3W | statement | open | Wikipedia Negative binomial distribution#9WMM |
| Relation to the Cauchy–Kowalevski theorem | YMMWV5CCAP | statement | open | Wikipedia Holmgren's uniqueness theorem#6N7A |
| Relation to the Erdős–Turán conjecture on additive bases | AQMECJ85RE | statement | open | Wikipedia Erdős–Tetali theorem#VNIT |
| Relation to the Fenchel–Moreau theorem | 1QFAM3XD8V | statement | open | Wikipedia Bipolar theorem#8VIS |
| Relation to the FGM conjecture notation | B3D3C18XF6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35762#QDGG |
| Relation to the Hirzebruch–Riemann–Roch theorem | MBB4488T4G | statement | open | Wikipedia Riemann–Roch theorem for surfaces#SZ2R |
| Relation to the law of cosines | W0S6AX2BBR | statement | open | Wikipedia Polarization identity#VPAF |
| Relation to the law of large numbers | F86WGE4DFG | statement | open | Wikipedia Central limit theorem#SICC |
| Relation to the open mapping theorem | K5NBJFHW6Z | statement | open | Wikipedia Closed graph theorem#YAXO |
| Relation to the prime number theorem | 7K6VM4R1FV | statement | open | Wikipedia Mertens' theorems#CB4A |
| Relation to the principle of non-contradiction | B9EFC0JA55 | statement | open | Wikipedia Reductio ad absurdum#QXBD |
| Relation to the Radon–Nikodym theorem | R9EGNVVTY6 | statement | open | Wikipedia Freudenthal spectral theorem#E86G |
| Relation to the Riemann hypothesis | 3DV75DDGEJ | statement | open | Wikipedia Colossally abundant number#A708 |
| Relation to the Riemann hypothesis | DWRVQ99CFA | statement | open | Wikipedia Lindelöf hypothesis#XZ9B |
| Relation to the strong perfect graph theorem | Y92PH7QP73 | statement | open | Wikipedia Perfect graph theorem#2PGA |
| Relation to the Tate conjecture | WV1TTKFB4Q | statement | open | Wikipedia Brauer group#YW9R |
| Relation to the virial theorem | E4J6P60A4G | statement | open | Wikipedia Equipartition theorem#M3VU |
| Relation to the weak perfect graph theorem | 3Q830JWM73 | statement | open | Wikipedia Strong perfect graph theorem#9XG2 |
| Relation to the Weyl character formula | B30MB68W35 | statement | open | Wikipedia Kostant partition function#DTBW |
| Relation to Tutte's theorem | D2CBBFYS30 | statement | open | Wikipedia Tutte–Berge formula#VI29 |
| Relation to Wilson's theorem | JMPSJ6MM5F | statement | open | Wikipedia Agoh–Giuga conjecture#5GI5 |
| Relation to Zipf's law | HQTZXJ26NG | statement | open | Wikipedia Pareto distribution#7E4B |
| Relation with Dirichlet's theorem | T20PFF5AM9 | statement | open | Wikipedia Chebotarev density theorem#1MMO |
| Relation with Fermat's Last Theorem | BCY4MGB88P | statement | open | Wikipedia Cyclotomic field#F3PA |
| Relation with other axioms | NFWW2SVSBE | statement | open | Wikipedia Axiom of dependent choice#1DHJ |
| Relation with the implicit function theorem | ADW3KVPA8T | statement | open | Wikipedia Implicit differentiation#Y9KM |
| Relation with the original series | 2JDD9VFYR9 | statement | open | napkin tex/measure/large-laws.tex#claim-2 |
| relation, antisymmetric | M5W6WC40RN | concept | open | hott_book index/B.6/relation-antisymmetric |
| relation, antisymmetric | NE4EWZBY9K | concept | open | hott_book index/2.1/relation-antisymmetric |
| relation, binary | JFQZB0QTSC | concept | open | applied_combinatorics index/B.4/relation-binary |
| relation, binary | XC0AR24V3K | concept | open | applied_combinatorics index/B.10/relation-binary |
| relation, bitotal | JDWB22RS0T | concept | open | hott_book index/C.5/relation-bitotal |
| relation, effective equivalence | 6W7TY9EBF5 | concept | open | hott_book index/C.1.3/relation-effective-equivalence |
| relation, equivalence | PA77BCBF1B | concept | open | applied_combinatorics index/B.13/relation-equivalence |
| relation, equivalence | ZPBTHNSPHQ | concept | open | applied_combinatorics index/6/relation-equivalence |
| relation, irreflexive | HTEPTCSD64 | concept | open | hott_book index/B.2.1/relation-irreflexive |
| relation, monotonic | 331C1BSDQD | concept | open | hott_book index/B.3.2/relation-monotonic |
| relation, open | 6SDG5Q6F4D | concept | open | hott_book index/B.3.2/relation-open |
| relation, reflexive | DTJRGCP944 | concept | open | hott_book index/6.2/relation-reflexive |
| relation, symmetric | 4PJDNH01P6 | concept | open | applied_combinatorics index/6/relation-symmetric |
| Relational algebra | S8ZGVQQSNN | topic | open | Wikipedia List of mathematical proofs#81DL |
| Relational algebra | SKCNDY7Z9P | topic | open | Wikipedia Relational algebra, Wikidata Q840540 |
| Relational algebra | WNCGK2QAVH | topic | open | Wikipedia List of algebras#UIUT |
| Relational calculus | GNXR6ZDP7E | unknown | open | Wikipedia List of formal systems#TQMU |
| relational calculus | NK3YMF1EJH | unknown | open | Wikidata Q1722436, nLab relational calculus |
| relational semantics | EFF22880QA | definition | open | Wikipedia Glossary of logic#PNS7 |
| relational structure | G3K6JCGE0F | unknown | open | Wikidata Q134487654, nLab relational structure |
| Relational system (universal algebra) | 7YKTFC5Z7J | unknown | open | Wikipedia Partial algebra#NC53 |
| Relations between principles | RM8D00VWGA | statement | open | Wikipedia Peirce's law#16BC |
| Relations between R\'enyi divergence and DP notions | 9P02TFQZAG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19573#U6IH |
| Relations between the principles | EYFDHTYPDH | statement | open | Wikipedia Induction, bounding and least number principles#OH1Q |
| Relations on the supports | RF08MG7VS3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06480#L5RY |
| Relations to other theorems | N8S32GHJBR | statement | open | Wikipedia Remmert–Stein theorem#OMYV |
| Relationship between mathematics and physics | 3CGV4JQTK8 | definition | open | Wikipedia Relationship between mathematics and physics, Wikidata Q16963873 |
| Relationship between propositional and predicate formulas | MWS6S7APSB | statement | open | Wikipedia Propositional formula#2AGE |
| relationship between the coefficients and the roots of a split polynomial | XDPSBTQT4H | unknown | open | mathlib_undergrad Ring Theory > Polynomial rings > relationship between the coefficients and the roots of a split polynomial, Mathlib Polynomial.coeff_eq_esymm_roots_of_card |
| Relationship of propositions | 2PJE8JJ4J3 | statement | open | Wikipedia Contraposition#ZGWT |
| Relationship square | NYTCYE2W7X | definition | open | Wikipedia Relationship square, Wikidata Q18393974 |
| Relationship to Cayley's theorem | 1HAB56MH5T | statement | open | Wikipedia Yoneda lemma#JC1U |
| Relationship to ideal gas law | B6ERASP391 | statement | open | Wikipedia Thermodynamic temperature#BHTB |
| Relationship to other conjectures | N1NF0S3SAE | statement | open | Wikipedia Borel conjecture#CEXZ |
| Relationship to Stokes' theorem | ED0RJZ5HGZ | statement | open | Wikipedia Green's theorem#BA8C |
| Relationship to the axiom of choice | FDMJG1ZR01 | statement | open | Wikipedia Transfinite induction#7TAT |
| Relationship to the binomial theorem | WGFC6SSTJP | statement | open | Wikipedia General Leibniz rule#DD36 |
| Relationship to the Brunn–Minkowski inequality | GYH6YGW371 | statement | open | Wikipedia Prékopa–Leindler inequality#M0EZ |
| Relationship to the Brunn–Minkowski inequality | VWCAQB0M1V | statement | open | Wikipedia Vitale's random Brunn–Minkowski inequality#SZ28 |
| Relationship to the compactness theorem | GN3TBBM9FS | statement | open | Wikipedia Gödel's completeness theorem#Z8TX |
| Relationship to the divergence theorem | 1X25TBQN3E | statement | open | Wikipedia Green's theorem#K3H1 |
| Relationship to the four-square theorem | EWA9CDKBGK | statement | open | Wikipedia Legendre's three-square theorem#1PGV |
| Relationship to the ideal gas law | 41JRG1K7XF | statement | open | Wikipedia Van der Waals equation#KUU1 |
| Relationship to the incompleteness theorems | NQ3MQ0JCE8 | statement | open | Wikipedia Gödel's completeness theorem#VFBX |
| Relationship to the law of the excluded middle | 3PTVBHP9HM | statement | open | Wikipedia Principle of bivalence#NLSF |
| Relationship to the well-ordering principle | Q558A7VDC3 | statement | open | Wikipedia Mathematical induction#YPVD |
| Relationship to theorems for entire functions | J63WD1871Z | statement | open | Wikipedia Montel's theorem#3YNK |