Relations defined on sets (1989)

by Edmund Woronowicz
Venue:Journal of Formalized Mathematics
Citations:449 - 0 self

Documents Related by Co-Citation

1276 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
1178 Properties of subsets – Zinaida Trybulec - 1989
1252 Functions and their basic properties – Czesław Byliński - 2003
982 Relations and their basic properties – Edmund Woronowicz - 1989
1007 Functions from a set to a set – Czesław Byliński - 1989
721 Some Basic Properties of Sets – Czes Law Byli'nski - 1989
426 Partial Functions – Czes Law Byli'nski
267 Tuples, projections and Cartesian products – Andrzej Trybulec - 1989
641 The fundamental properties of natural numbers – Grzegorz Bancerek - 1989
111 Properties of binary relations – Edmund Woronowicz, Anna Zalewska - 1990
330 Binary operations – Czesław Byliński - 1989
256 Binary operations applied to functions – Andrzej Trybulec - 1989
370 Subsets of real numbers – Andrzej Trybulec
144 Topological Properties of Subsets in Real Numbers – Konrad Raczkowski, Pawel Sadowski - 2002
545 Basic Properties of Real Numbers – Krzysztof Hryniewiecki - 1989
219 sequences and basic operations on them – Real - 1990
310 Finite sets – Agata Darmochwał - 1989
163 Partially Ordered Sets – Wojciech A. Trybulec - 2000
262 Pigeon hole principle – Wojciech A. Trybulec - 1990