Definition:Simple Order Product on Family