Assertion: tetrahedron's face | /r/HasProperty | a n-1)-simplex.
Facets:
Source sentences:
text: Generally, a "N-[dimensional] simplex" is the simplest possible N-dimensional shape (hence the name), and has N+1 vertices and N+1 faces, each face being a (N-1)-simplex.)