nil zil cmi lujvo

n₁ is the cardinality of set c₂.

jbovlaste

In notes:

kazmi: x₁ (li) is the cardinality of set x₂ (set)
ka'au (exp!): mekso unary operator: cardinality (#, | |)