condition ▁ Γ ": ▁that ▁is , ▁every ▁n ont rivial ▁ide mp ot ent ▁relation ▁on ▁such ▁a ▁space ▁contains ▁points ▁ ▁for ▁some ▁. ▁This ▁is ▁used ▁to ▁show ▁that ▁certain ▁sub spaces ▁of ▁an ▁un count able ▁product ▁of ▁spaces , ▁known ▁as ▁Mah avier ▁products , ▁cannot ▁be ▁met riz able ▁when ▁defined ▁by ▁a ▁n ont rivial ▁ide mp ot ent ▁relation . ▁ ▁References ▁ ▁Further ▁reading ▁▁▁ ▁Category : Binary ▁relations <0x0A> </s> ▁St atic - X ▁is ▁an ▁American ▁industrial ▁metal ▁band ▁from ▁Los ▁Angeles , ▁California , ▁formed ▁in ▁ 1 9 9 4 . ▁The ▁line - up ▁has ▁fl uct u ated ▁over ▁the ▁years , ▁but ▁was ▁long - h eld ▁constant ▁with ▁band ▁founder , ▁front man , ▁vocal ist , ▁and ▁guitar ist ▁Wayne ▁St atic ▁until ▁ 2 0 1 4 . ▁ ▁The ▁band ▁was ▁founded ▁by ▁Wayne ▁St atic ▁and ▁original ▁drum mer ▁Ken ▁Jay . ▁They ▁rose ▁to ▁fame ▁with ▁their ▁ 1 9 9 9 ▁debut ▁album ▁Wisconsin ▁Death ▁T rip ▁where ▁their ▁heavy ▁industrial ▁metal ▁sound ▁attract ed ▁attention ▁within ▁the ▁bur geon ing ▁nu ▁metal ▁movement ▁of ▁the ▁late ▁ 1 9 9 0 s , ▁with ▁the ▁album ▁eventually ▁going ▁plat in um ▁in ▁the ▁United ▁States . ▁The ▁band ▁released ▁five ▁more ▁albums ▁over ▁the ▁course ▁of ▁the ▁next ▁de cade : ▁Machine ▁in ▁ 2 0 0 1 , ▁Sh adow ▁Zone ▁in ▁ 2 0 0 3 ,