Definition:General Implicit Function