dome: a concave shape whose distinguishing characteristic is that the concavity faces downward
concave shape: a shape that curves or bends inward
operationalism: (philosophy) the doctrine that the meaning of a proposition consists of the operations involved in proving or applying it