木野は体育大学を卒業後、スポーツ用品を販売する会社に就職し、17年目にその会社を辞めた。出張先から直接東京の葛西のマンションに戻ると、会社でいちばん親しくしていた同僚と妻が裸でベッドに入っているのを目にし、翌日会社に退職届を出した。木野は根津美術館（港区南青山）の裏手で喫茶店を営む伯母に電話をかけた。3ヶ月ほど前に伯母から「自分は伊豆高原に移るので店を引き継ぐつもりはないか」と相談を持ちかけられていたからだった。木野は喫茶店の内装を作り替え、バーを開いた。店の名前は「木野」。彼は自分のレコード・コレクションを棚に並べた。古い時代のジャズをアナログ・レコードで聴くのが彼のほとんど唯一の趣味だった。最初に「木野」の居心地の良さを発見したのは灰色の野良猫だった。4月半ばの夜、頭を坊主にした男が初めて店に顔を見せる。木野は客の女性と寝た。夏の終りに離婚がようやく正式に成立する。木野と妻は開店前の彼の店で会った。猫がやってきて、珍しく自分から木野の膝の上に飛び乗った。「あなたに謝らなくてはいけない」と妻はナパのジンファンデルを飲んだあとで言った。秋がやってくると、まず猫がいなくなり、それから蛇たちが姿を見せ始めた。
アーベル群 A のねじれ部分群は A の位数有限な元全体の成す部分群である。ねじれアーベル群は任意の元が有限位数を持つアーベル群で、ねじれのないアーベル群は単位元を除く全ての元が無限位数を持つアーベル群を言う。
ねじれ群の興味深い性質の一つは、それが一階述語論理で定式化できないことである。これは偏に、定義に必要となる  なる形の公理が無限個の選言を含むため、一階論理では許容されないことによる。公理系が無限集合となることを許してこの無限選言を回避することは不可能である（コンパクト性定理から、ねじれ群を特徴付けることのできる一階論理式の集合は存在しないことが導かれる）。ねじれ群を特徴付ける一階論理の公理系  が存在したと仮定する。新しい定数記号  を言語に追加する。そして、全ての正整数  に対して「 の次数が  以上である」という意味の論理式  を  に追加する。こうして得られる公理系を  としよう。すると  のどの有限部分集合もモデルを持つ。なぜなら、 の形の論理式は有限個しか含まれないので、十分大きな位数  の有限巡回群  において  を  と解釈すればよいからである。コンパクト性定理より  はモデル  を持つ。 はねじれ群であるにもかかわらず無限位数の元  を含む。これは矛盾である。上記の証明は、定数記号を追加すれば、「ねじれなし元を含む群」（つまりねじれ群でない群）が一階論理で（無限）公理化可能であることも示している。また、ねじれなし群は一階論理で（無限）公理化可能である。なぜなら、群の公理系に  という無限個の論理式を添加した公理系を考えれば、そのモデルはちょうどねじれなし群となるからである。
桜上水駅北側及び東側に多くの留置線が設置されている。若葉台への工場移転後、工場跡地は住宅展示場となった上、橋上駅舎化に伴い、留置線の一部が撤去されている。
若葉台駅西側から検車区・工場全施設への引込み線があり、構内入換えで、若葉台駅4番線の横にある線まで車両が出てくることもある。なお、入出庫も含め、構内は全て平面交差である。まず、西側に留置線が6線設置されている。新車撮影の際はこの留置線が使用されることが多い。そしてその東側に検車庫（2線）・洗車線（4線）が設置され、さらにその北側に工場が設置されている。その他に管理棟、主要部品の倉庫、修理場などが設置されている。車両のリニューアルやVVVFインバーター化や定期検査や重要部検査、全般検査などの業務は一部、京王重機が行っている。 また井の頭線の車両の検査業務のうち、車体等以外の部品の検査・整備は富士見ヶ丘検車区にて車体から取り外して若葉台工場へトラックで移送して行われる。
創業わずか8年で、タイムリース社に次ぐ業界第2位の規模と実績を誇る巨大企業に成長したリース会社。本社はヒネルトジャー市所在。この市名は「オストアンデル」と同じように蛇口を外来語っぽく呼んだ言い方である。福利厚生施設として、本社所在地に映画館シャレコーベシアターの他、沿岸地に社員用別荘を完備している。全世界に支社が千社ある（第1話の次回予告より）。第2話の全支社長会議の描写ではそれ相応の相当な数の支社長が出席していた。そのため、規模の大きいグループ企業であることが分かる。支社長会議では業績ではなく「他社の妨害をどれだけやったのか」が報告内容となっている。支社対抗のかくし芸大会やコルドー会長の撮り下ろしによる映画鑑賞会を年中社内行事として行っているが、創立記念日翌日に開催される鑑賞会の方は出席しないと給料を天引きされるというノルマが課せられている。その実態は、地球人の宇宙進出を妨害するために飛来した宇宙人が、作戦の一環として作った会社だが、真の狙いは前述の星ハルカを使ったサイキックロボット技術の奪取とサイキックロボット(イッパツマン)の抹殺であり、シャレコーベリース社による妨害工作はそこからタイムリース社の目をそらすためのカモフラージュであった。そのため、終盤になってコン・コルドーの計画が最終段階に入り、星ハルカが行動を開始すると会社は用済みとなり、コン・コルドーはクリーン悪トリオと隠球四郎に解雇を言い渡した直後、シャレコーベリース社を計画倒産させた。