<philosophy of mind, ontology> a set of properties or facts M supervenes on a set of properties or facts P if and only if there can be no changes or differences in M without there being changes or differences in P.
Pete Mandik <pete@twinearth.wustl.edu>
Chris Eliasmith - [Dictionary of Philosophy of Mind] Homepage
Try this search on OneLook / Google