Assertion: cone | /r/HasProperty | flat
Facets:
Source sentences:
text: {\displaystyle y-x\in C.} (If the cone is flat, the same definition gives merely a preorder.)
text: A cone is called flat if it contains some nonzero vector x and its opposite -x, meaning C contains a linear subspace of dimension at least one, and salient otherwise.