User blog comment:Alemagno12/Some more set theory questions/@comment-5529393-20180103055700/@comment-25601061-20180103173956

I actually made a small mistake in the definition. It's fixed now.