for L being RelStr
for X being Subset of L holds chi (X, the carrier of L) is Function of L,(BoolePoset {{}})