{"schema_version":"4ort.packet/1","entity":{"entity_id":"t1-space","kg_uuid":"ec8a19bb-2796-4317-84e4-17cb9981db43","wikidata_id":"Q284347","name":"T1 space","description":"topological space in which all singleton sets are closed","type":"Thing","url":"https://4ort.xyz/entity/t1-space"},"status":"complete","as_of":{"copy_written_at":"2026-11-09T14:50:03Z","last_source_edit_seen":null,"stale_possible":true,"claims_refreshed_at":null,"source_revision":null},"facts":[{"field":"P279","label":"subclass of","value":"Kolmogorov space","value_id":"Q1148924","value_raw":"Q1148924","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q284347#P279","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P1552","label":"has characteristic","value":"separation axiom","value_id":"Q1140985","value_raw":"Q1140985","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q284347#P1552","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P2534","label":"defining formula","value":"\\forall x,y\\in X\\exists U,V\\in\\mathcal T\\colon (x\\in U\\not\\ni y)\\land(x\\not\\in V\\ni y)","value_id":null,"value_raw":"\\forall x,y\\in X\\exists U,V\\in\\mathcal T\\colon (x\\in U\\not\\ni y)\\land(x\\not\\in V\\ni y)","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q284347#P2534","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[{"stated_in":"MathWorld","stated_in_id":"Q719112"}]},"trust":{"band":"high","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P2812","label":"MathWorld ID","value":"T1-Space","value_id":null,"value_raw":"T1-Space","rank":"normal","current":null,"qualifiers":[{"field":"P1810","label":"subject named as","value":"T_1-Space"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q284347#P2812","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P6104","label":"maintained by WikiProject","value":"WikiProject Mathematics","value_id":"Q8487137","value_raw":"Q8487137","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q284347#P6104","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P6366","label":"Microsoft Academic ID (discontinued)","value":"106558176","value_id":null,"value_raw":"106558176","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q284347#P6366","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P6781","label":"ProofWiki ID","value":"Definition:Fréchet_Space_(Topology)","value_id":null,"value_raw":"Definition:Fréchet_Space_(Topology)","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q284347#P6781","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P7235","label":"in defining formula","value":"\\mathcal T","value_id":null,"value_raw":"\\mathcal T","rank":"normal","current":null,"qualifiers":[{"field":"P9758","label":"symbol represents","value":"topology"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q284347#P7235","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P7235","label":"in defining formula","value":"X","value_id":null,"value_raw":"X","rank":"normal","current":null,"qualifiers":[{"field":"P9758","label":"symbol represents","value":"topological space"}],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q284347#P7235","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}},{"field":"P12888","label":"Metamath statement ID","value":"df-t1","value_id":null,"value_raw":"df-t1","rank":"normal","current":null,"qualifiers":[],"layer":"source","citation":{"source":"wikidata","source_name":"Wikidata","source_record":"https://www.wikidata.org/wiki/Q284347#P12888","source_edition":null,"edition_basis":"unknown","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"references":[]},"trust":{"band":"unscored","basis":"wikidata-reference-support/2","calibrated":false}}],"unknowns":[],"omitted":{"facts":0,"reason":null},"licences":[{"source":"wikidata","source_name":"Wikidata","licence":"CC0 1.0 Universal","licence_url":"https://creativecommons.org/publicdomain/zero/1.0/","attribution":null,"fields":["P279","P1552","P2534","P2812","P6104","P6366","P6781","P7235","P12888"]}],"routes":{"entity_page":"https://4ort.xyz/entity/t1-space","packet_api":"https://4ort.xyz/api/v1/entities/t1-space/packet","facts_jsonld":"https://4ort.xyz/entity/t1-space/facts.json","changes_api":"https://4ort.xyz/api/v1/knowledge/get_entity_changes?entity=t1-space","attention_api":"https://4ort.xyz/api/v1/knowledge/get_attention?entity=t1-space","wikidata":"https://www.wikidata.org/wiki/Q284347","official_website":null},"trust_rules":{"wikidata-reference-support/2":"From the references in our copy of the statement: high = it cites a source (stated in P248, or a reference URL that is not Wikipedia); medium = only 'imported from Wikimedia project' or a Wikipedia URL; unscored = our copy holds no reference (older copies dropped references, so this is not evidence that Wikidata has none). Wikidata may hold more references than our copy shows. Reference support, not a probability."},"notes":["Our copy of this item's statements has not been checked against Wikidata since tracking began (2026-10-25); a newer value may exist."]}