Most General Common Instance (MGCI)

The Most General Common Instance (MGCI) of two expressions A and Β is an expression C that is an instance of both A and Β such that any other expression D that is also an instance of A and Β is also an instance of C.