Welcome to TDBSoverflow, Our class's own StackOverflow. Our rules:
  1. Use only meaningful and self-explanatory titles
  2. Tag your questions with meaningful keywords
  3. Use upvotes and downvotes to rate the answers

קבוצה סגורה ברלציה

+1 vote
אם אומרים ש


קבוצה סגורה

האם זה אומר ש

A גורר את C


C גורר את A

או שאפשרי שרק אחד מהם מתקיים?
asked Feb 5, 2018 by tikitak (2,970 points)

1 Answer

+1 vote

If {A,B} is closed it only means that for every X not in {A,B}, It can't be that A -> X or B -> X (Or A,B -> X)

In your example, it can be that neither A -> C nor C ->A.

Notice, though, that if {A,C} is closed and it doesn't hold that A -> C, than {A} is also closed (and vice versa)

answered Feb 5, 2018 by Assaf (31,090 points)