Some properties of empty heaps (incomplete)

findMin(empty) throws.
if throws, empty.
meld(empty,empty) -> empty