"coinduction" meaning in English

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "co-",
        "4": "induction",
        "text": "+",
        "tree": "1"
      },
      "expansion": "Etymology tree\nProto-Indo-European *ḱe?\nProto-Indo-European *ḱóm\nProto-Italic *kom\nProto-Italic *kom-\nLatin con-\nLatin co-der.\nEnglish co-\nEnglish induction\nEnglish coinduction\n[Appendix:Glossary#derived_terms|Derived]] from\", \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"id\" : \"with\", \"children\" : [ { \"terms\" : [ { \"id\" : \"with\", \"children\" : [ { \"terms\" : [ { \"id\" : \"beside\", \"children\" : [ { \"terms\" : [ { \"is_uncertain\" : true, \"id\" : \"here\", \"children\" : [ ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*ḱe\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*ḱóm\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Italic\", \"term\" : \"*kom\", \"lang\" : \"itc-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Italic\", \"term\" : \"*kom-\", \"lang\" : \"itc-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang_name\" : \"Latin\", \"term\" : \"con-\", \"status\" : \"ok\", \"lang\" : \"la\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"lang_name\" : \"Latin\", \"term\" : \"co-\", \"status\" : \"inline\", \"lang\" : \"la\" } ], \"keyword\" : \"derived\" } ], \"lang_name\" : \"English\", \"term\" : \"co-\", \"status\" : \"ok\", \"lang\" : \"en\" }, { \"children\" : [ ], \"lang_name\" : \"English\", \"term\" : \"induction\", \"status\" : \"missing\", \"lang\" : \"en\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"lang_name\" : \"English\", \"term\" : \"coinduction\", \"status\" : \"ok\", \"lang\" : \"en\" }\" data-lang=\"en\" data-title=\"coinduction\">\nFrom co- + induction.",
      "name": "ety"
    }
  ],
  "etymology_text": "Etymology tree\nProto-Indo-European *ḱe?\nProto-Indo-European *ḱóm\nProto-Italic *kom\nProto-Italic *kom-\nLatin con-\nLatin co-der.\nEnglish co-\nEnglish induction\nEnglish coinduction\nFrom co- + induction.",
  "forms": [
    {
      "form": "coinductions",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "coinduction (countable and uncountable, plural coinductions)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [],
          "source": "w"
        },
        {
          "_dis": "47 53",
          "kind": "other",
          "name": "English entries referencing missing etymons",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "51 49",
          "kind": "other",
          "name": "English entries with etymology texts",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "51 49",
          "kind": "other",
          "name": "English entries with etymology trees",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "52 48",
          "kind": "other",
          "name": "English terms prefixed with co-",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "51 49",
          "kind": "other",
          "name": "Pages with etymology trees",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation"
      ],
      "id": "en-coinduction-en-noun-Ldz1ozvL",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "induction",
          "induction"
        ],
        [
          "reasoning",
          "reasoning"
        ],
        [
          "set",
          "set"
        ],
        [
          "relation",
          "relation"
        ],
        [
          "bisimulation",
          "bisimulation"
        ]
      ],
      "raw_glosses": [
        "(logic) A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation"
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "en",
          "name": "Biology",
          "orig": "en:Biology",
          "parents": [],
          "source": "w"
        },
        {
          "_dis": "47 53",
          "kind": "other",
          "name": "English entries referencing missing etymons",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "51 49",
          "kind": "other",
          "name": "English entries with etymology texts",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "51 49",
          "kind": "other",
          "name": "English entries with etymology trees",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "28 72",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "52 48",
          "kind": "other",
          "name": "English terms prefixed with co-",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "38 62",
          "kind": "other",
          "name": "Pages using etymon with no ID",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "27 73",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "26 74",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "51 49",
          "kind": "other",
          "name": "Pages with etymology trees",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "The simultaneous induction of two or more compounds into a cell line"
      ],
      "id": "en-coinduction-en-noun-FxYr19q5",
      "links": [
        [
          "biology",
          "biology"
        ],
        [
          "compound",
          "compound"
        ],
        [
          "cell",
          "cell"
        ]
      ],
      "raw_glosses": [
        "(biology) The simultaneous induction of two or more compounds into a cell line"
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "biology",
        "natural-sciences"
      ]
    }
  ],
  "word": "coinduction"
}

{
  "categories": [
    "English countable nouns",
    "English entries referencing missing etymons",
    "English entries with etymology texts",
    "English entries with etymology trees",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms derived from the Proto-Indo-European word *ḱóm",
    "English terms prefixed with co-",
    "English uncountable nouns",
    "Pages using etymon with no ID",
    "Pages with 1 entry",
    "Pages with entries",
    "Pages with etymology trees"
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "co-",
        "4": "induction",
        "text": "+",
        "tree": "1"
      },
      "expansion": "Etymology tree\nProto-Indo-European *ḱe?\nProto-Indo-European *ḱóm\nProto-Italic *kom\nProto-Italic *kom-\nLatin con-\nLatin co-der.\nEnglish co-\nEnglish induction\nEnglish coinduction\n[Appendix:Glossary#derived_terms|Derived]] from\", \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"id\" : \"with\", \"children\" : [ { \"terms\" : [ { \"id\" : \"with\", \"children\" : [ { \"terms\" : [ { \"id\" : \"beside\", \"children\" : [ { \"terms\" : [ { \"is_uncertain\" : true, \"id\" : \"here\", \"children\" : [ ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*ḱe\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*ḱóm\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Italic\", \"term\" : \"*kom\", \"lang\" : \"itc-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Italic\", \"term\" : \"*kom-\", \"lang\" : \"itc-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang_name\" : \"Latin\", \"term\" : \"con-\", \"status\" : \"ok\", \"lang\" : \"la\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"lang_name\" : \"Latin\", \"term\" : \"co-\", \"status\" : \"inline\", \"lang\" : \"la\" } ], \"keyword\" : \"derived\" } ], \"lang_name\" : \"English\", \"term\" : \"co-\", \"status\" : \"ok\", \"lang\" : \"en\" }, { \"children\" : [ ], \"lang_name\" : \"English\", \"term\" : \"induction\", \"status\" : \"missing\", \"lang\" : \"en\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"lang_name\" : \"English\", \"term\" : \"coinduction\", \"status\" : \"ok\", \"lang\" : \"en\" }\" data-lang=\"en\" data-title=\"coinduction\">\nFrom co- + induction.",
      "name": "ety"
    }
  ],
  "etymology_text": "Etymology tree\nProto-Indo-European *ḱe?\nProto-Indo-European *ḱóm\nProto-Italic *kom\nProto-Italic *kom-\nLatin con-\nLatin co-der.\nEnglish co-\nEnglish induction\nEnglish coinduction\nFrom co- + induction.",
  "forms": [
    {
      "form": "coinductions",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "coinduction (countable and uncountable, plural coinductions)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "en:Logic"
      ],
      "glosses": [
        "A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation"
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "induction",
          "induction"
        ],
        [
          "reasoning",
          "reasoning"
        ],
        [
          "set",
          "set"
        ],
        [
          "relation",
          "relation"
        ],
        [
          "bisimulation",
          "bisimulation"
        ]
      ],
      "raw_glosses": [
        "(logic) A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation"
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    },
    {
      "categories": [
        "en:Biology"
      ],
      "glosses": [
        "The simultaneous induction of two or more compounds into a cell line"
      ],
      "links": [
        [
          "biology",
          "biology"
        ],
        [
          "compound",
          "compound"
        ],
        [
          "cell",
          "cell"
        ]
      ],
      "raw_glosses": [
        "(biology) The simultaneous induction of two or more compounds into a cell line"
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "biology",
        "natural-sciences"
      ]
    }
  ],
  "word": "coinduction"
}