有垢真如
又作有垢真如空性
如来藏·唯识《大乘经庄严论》
定义
佛陀众生的真如虽然无有不同差别，但自现颠倒具有客尘众生相续的真如称为有垢真如，是可断除的客尘障碍，法性是永无迁变的，一旦各自众生相续中的烦恼障与所知障完全清净时，就是法界极其清净之法相，称为佛菩提。
《大乘经庄严论密意疏》第十 菩提品麦彭《密意疏》释「诸法之真如，二障清净相」
如来藏·唯识《宝性论》
定义
所谓有垢之真如，是指法界真如在没有脱离烦恼之壳的众生位的如来藏。
《大乘宝性论释•善说日光》总说品朵洛瓦《善说日光》释四处之第一
辨析
有垢真如界性之义：同一时间心的自性既是本来清净，也是具有以暂时客尘染污的缘故，表面似乎是两种相违法在同一基中集聚，因此不可思议，因为信解甚深法理不是声闻缘觉的行境。
《大乘宝性论释•善说日光》总说品朵洛瓦《善说日光》释有垢真如不可思议
第一个，所证：所知、所证悟的就是前面讲到的有垢真如，即如来藏，这是所要证悟、所要清净的。
宝性论讲解6讲记释因缘四处之所证
如来藏·唯识《辨中边论》
定义
空性可分两类，即具有轮回杂染的有垢真如空性与二障清净的无垢真如空性。
辨中边论释讲解04麦彭《辩中边论释》释分二空
凡夫人的相续当中所安住的真如或者如来藏，是具有杂染的有垢真如空性；二障清净以后是无垢真如空性。
辨中边论释讲解04讲记释分二空
辨析
此无不合理处，犹如水界、黄金、虚空自性为清净般，如是承许真如空性自性本来清净，实相之中无有不净。
辨中边论释讲解04麦彭释答难：有垢何以自性清净
虽然从空性自性的角度或实相中没有净与不净的差别，但在诸有情现相中安立有垢与无垢的分位则为合理。
辨中边论释讲解05麦彭《辩中边论释》释空性成立有垢无垢
名相的定义、分类与诸家说法，逐句摘自本站的原典、释论与讲记，原文照录，每句链回原段。