有垢真如
如来藏·唯识 · 大乘经庄严论
定义
佛陀众生的真如虽然无有不同差别，但自现颠倒具有客尘众生相续的真如称为有垢真如，是可断除的客尘障碍，法性是永无迁变的，一旦各自众生相续中的烦恼障与所知障完全清净时，就是法界极其清净之法相，称为佛菩提。
《大乘经庄严论密意疏》第十 菩提品麦彭《密意疏》释「诸法之真如，二障清净相」
如来藏·唯识 · 宝性论
定义
所谓有垢之真如，是指法界真如在没有脱离烦恼之壳的众生位的如来藏。
《大乘宝性论释•善说日光》总说品朵洛瓦《善说日光》释四处之第一
辨析
有垢真如界性之义：同一时间心的自性既是本来清净，也是具有以暂时客尘染污的缘故，表面似乎是两种相违法在同一基中集聚，因此不可思议，因为信解甚深法理不是声闻缘觉的行境。
《大乘宝性论释•善说日光》总说品朵洛瓦《善说日光》释有垢真如不可思议
有垢的真如，就是如来藏，就是所要证悟，所要清净的。
宝性论讲解6讲记释因缘四处之所证
名相的定义、分类与诸家说法，逐句摘自本站的原典、释论与讲记，原文照录，每句链回原段。