Item:Q5579: Difference between revisions

Revision as of 20:03, 25 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,236 edits ‎Created claim: subclass of (P1): convex set (Q5509) ← Older edit	Latest revision as of 20:03, 25 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,236 edits ‎Created claim: defining formula (P333): \operatorname{conv} X := \bigcap_{X\subseteq K \subseteq V \atop K\ \mathrm{konvex}} K
	Property / defining formula
		$\operatorname {conv} X:=\bigcap _{X\subseteq K\subseteq V \atop K\ \mathrm {konvex} }K$ `\operatorname{conv} X := \bigcap_{X\subseteq K \subseteq V \atop K\ \mathrm{konvex}} K`
	Property / defining formula: $\operatorname {conv} X:=\bigcap _{X\subseteq K\subseteq V \atop K\ \mathrm {konvex} }K$ / rank
		Normal rank