Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989. http://mizar.org/JFM/Vol1/subset_1.html.
author author title title title journal journal journal journal volume date note