A subset of a Merkle Tree that can be send to a party who knows nothing about the tree other than its correct root, and prove to them that a node (data) is part of the tree.
See Merkle Tree for an example.
This technology is extensively used in Light Nodes and Bridges And Cross-Chain Messaging.